𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Checking functional consistency in deductive databases

✍ Scribed by Erik Lambrichts; Peter Nees; Jan Paredaens; Peter Peelman; Letizia Tanca

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
556 KB
Volume
35
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Monotonic Aggregation in Deductive Datab
Monotonic Aggregation in Deductive Databases
✍ Kenneth A Ross; Yehoshua Sagiv πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 757 KB

We propose a semantics for aggregates in deductive databases based on a notion of minimality. Unlike some previous approaches, we form a minimal model of a program component including aggregate operators, rather than insisting that the aggregate apply to atoms that have been fully determined or that

Deductive databases for computing certai
Deductive databases for computing certain and consistent answers from mediated data integration systems
✍ Loreto Bravo; Leopoldo Bertossi πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 353 KB

We address the problem of retrieving certain and consistent answers to queries posed to a mediated data integration system under the local-as-view paradigm with open sources and conjunctive and disjunctive view definitions. For obtaining certain answers a query program is run under the cautious stab