✦ LIBER ✦

Prolog and deductive databases

✍ Scribed by M.H. Williams; G. Chen; D. Ferbrache; P. Massey; S. Salvini; H. Taylor; K.F. Wong

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 484 KB
Volume: 1
Category: Article
ISSN: 0950-7051
DOI: 10.1016/0950-7051(88)90077-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monotonic Aggregation in Deductive Datab

Monotonic Aggregation in Deductive Databases

✍ Kenneth A Ross; Yehoshua Sagiv 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 757 KB

We propose a semantics for aggregates in deductive databases based on a notion of minimality. Unlike some previous approaches, we form a minimal model of a program component including aggregate operators, rather than insisting that the aggregate apply to atoms that have been fully determined or that

Fixpoint strategies for deductive databa

Fixpoint strategies for deductive databases

✍ Irène Guessarian 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Foreword: Deductive object-oriented data

Foreword: Deductive object-oriented databases

✍ Michael Kifer 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 197 KB

Prolog—relational database interfaces

✍ R.J. Lucas 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 696 KB

Checking functional consistency in deduc

Checking functional consistency in deductive databases

✍ Erik Lambrichts; Peter Nees; Jan Paredaens; Peter Peelman; Letizia Tanca 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 556 KB

Consistency preserving updates in deduct

Consistency preserving updates in deductive databases

✍ Enric Mayol; Ernest Teniente 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 399 KB