๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Basic techniques: Databases


Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
117 KB
Volume
12
Category
Article
ISSN
0010-4485

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Basic techniques: Graphics
โœ D.J. Grover ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 479 KB
Theorem Proving Techniques for View Dele
โœ Chandrabose Aravindan; Peter Baumgartner ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 454 KB

In this paper, we show how techniques from first-order theorem proving can be used for efficient deductive database updates. The key idea is to transform the given database, together with the update request, into a (disjunctive) logic program and to apply the hyper-tableau calculus (Baumgartner et a