𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deductive versus Expressive Power

✍ Scribed by Tennant, Neil

Year
0
Tongue
English
Weight
398 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

Expressive power of SQL
Expressive power of SQL
✍ Leonid Libkin πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 254 KB

It is a folk result in database theory that SQL cannot express recursive queries such as reachability; in fact, a new construct was added to SQL3 to overcome this limitation. However, the evidence for this claim is usually given in the form of a reference to a proof that relational algebra cannot ex

The expressive power of voting polynomia
The expressive power of voting polynomials
✍ J. Aspnes; R. Beigel; M. Furst; S. Rudich πŸ“‚ Article πŸ“… 1994 πŸ› Springer-Verlag 🌐 English βš– 805 KB