𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the partial semantics for disjunctive deductive databases

✍ Scribed by Thomas Eiter; Nicola Leone; Domenico Saccà

Book ID
110379941
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
341 KB
Volume
19
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal model generation for refined ans
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
✍ Adnan H. Yahya 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 331 KB

Generalized queries are de®ned as sets of clauses in implication form. They cover several tasks of practical importance for database maintenance such as answering positive queries, computing database completions and integrity constraints checking. We address the issue of answering generalized querie

On the semantics of classical disjunctio
On the semantics of classical disjunction
✍ David Pym; Eike Ritter 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 214 KB

The -calculus provides a system of realizers for classical free (cf. natural) deduction in the absence of disjunction. We identify two forms of disjunction, one derived from Gentzen's sequent calculus LJ and one from LK, and develop the corresponding metatheory for extended with disjunction. We desc