✦ LIBER ✦

Using clausal deductive databases for defining semantics in disjunctive deductive databases

✍ Scribed by Dietmar Seipel

Book ID: 110319813
Publisher: Springer Netherlands
Year: 2001
Tongue: English
Weight: 253 KB
Volume: 33
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1013180132511

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the partial semantics for disjunctive

On the partial semantics for disjunctive deductive databases

✍ Thomas Eiter; Nicola Leone; Domenico Saccà 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 341 KB

Duality for Goal-Driven Query Processing

Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases

✍ Adnan H. Yahya 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 229 KB

Semantics and properties of existential

Semantics and properties of existential quantifiers in deductive databases

✍ Sang Ho Lee; Lawrence J. Henschen 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 587 KB

An Extension to GCWA and Query Evaluatio

An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases

✍ Kewen Wang; Lizhu Zhou 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 139 KB

Semantics and Expressive Power of Nondet

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases

✍ Fosca Giannotti; Dino Pedreschi; Carlo Zaniolo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Nondeterministic extensions are needed in logic-based languages, such as first-order relational languages and Datalog, to enhance their expressive power and support the efficient formulation of low-complexity problems and database queries. In this paper, we study the semantics and expressive power o

An architecture for a parallel disjuncti

An architecture for a parallel disjunctive deductive database system

✍ Jarek Gryz 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 998 KB