Download:
|
by Mengchi Liu
Proceedings of the 11th International Conference on Database and Expert System Applications (DEXA 2000), Greenwich, UK, 4–8 September 2000 (Lecture Notes in Computer Science). Springer-Verlag, 2000; 752–763. Copyright © 2001 John Wiley & Sons, Ltd. Softw.
http://www.cs.uregina.ca/~mliu/papers/updates-DEXA00.ps
Add To MetaCart
Abstract:
Abstract. The semantics of static deductive databases is well understood based on the work in logic programming. In the past decade, various methods to incorporate update constructs into logic programming and deductive databases have been proposed. However, there is still no consensus about the appropriate treatment of dynamic behavior in deductive databases. In this paper, we propose a language called DatalogU, which is a minimal but powerful extension of Datalog with updates to base relations. DatalogU allows the user to program set-oriented complex database transactions with concurrent, disjunctive and sequential update operations in a simple and direct way. It has a simple and intuitive declarative semantics that naturally accounts for set-oriented updates in deductive databases. 1
Citations
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
557
|
Towards a theory of Declarative Knowledge
– Apt, Blair, et al.
- 1988
|
|
260
|
Logic Programming and Databases
– Ceri, Gottlob, et al.
- 1990
|
|
212
|
Principles of Database and
– Ullman
- 1989
|
|
204
|
Real-Time Systems
– Liu
- 2000
|
|
156
|
S.: A Logical Language for Data and Knowledge Bases
– Naqvi, Tsur
- 1989
|
|
147
|
Datalog extensions for database queries and updates
– Abiteboul, Vianu
- 1991
|
|
134
|
Database Updates Through Abduction
– Kakas, Mancarella
- 1990
|
|
99
|
Transaction logic programming
– Bonner, Kifer
- 1993
|
|
85
|
An overview of transaction logic
– Bonner, Kifer
- 1994
|
|
83
|
On specifying database updates
– Reiter
- 1995
|
|
63
|
Intensional updates: abduction via deduction
– Bry
- 1990
|
|
54
|
A logic-based language for database updates
– Manchanda, Warren
- 1987
|
|
41
|
ROL: A Deductive Object Base Language
– Liu
- 1996
|
|
38
|
Relationlog: A Typed Extension to Datalog with Sets and Tuples
– Liu
- 1998
|
|
28
|
Database programming in transaction logic
– Bonner, Kifer
- 1993
|
|
28
|
Database Updates in Logic Programming
– Naqvi, Krishnamurthy
- 1988
|
|
20
|
Programming with logical queries, bulk updates, and hypothetical reasoning
– Chen
- 1997
|
|
17
|
Modelling Non Deterministic Queries and Updates in Deductive Databases
– Maindreville, Simon
- 1988
|
|
17
|
Deductive database languages: problems and solutions
– Liu
- 1999
|
|
15
|
Capturing database dynamics by deferred updates
– Wichert, Freitag
- 1997
|
|
13
|
Declarative Expression of Deductive Database Updates
– Manchanda
- 1989
|
|
11
|
An Overview of Rule-based Object Language
– Liu
- 1998
|
|
11
|
ROL2: A Real Deductive Object-Oriented Database Language
– Liu, Guo
|
|
9
|
Transactions and Updates in Deductive Databases
– Montesi, Bertino, et al.
- 1997
|
|
9
|
Transactions and updates in deductive databases
– Montesi, Bertino, et al.
- 1997
|
|
6
|
Concurrent Database Updates in Prolog
– Naish, Thom, et al.
- 1987
|
|
5
|
Overview of the ROL2 Deductive Object-Oriented Database System
– Liu
|
|
2
|
a New Database Frontier
– Updates
- 1988
|
