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