๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Semantics and Expressive Power of Nondet
โœ 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