Databases Reference
In-Depth Information
[70]
Special Issue on Prototypes of Deductive Database Systems, J. Very Large Databases,
Vol. 3, No. 2, 1994.
[71]
Chimenti, D., et al., The LDL System Prototype, IEEE Trans. on Knowledge and
Data Engineering, Vol. 2, No. 1, 1990, pp. 7690.
[72]
Vieille, L., et al., EKS-V1: A Short Overview, AAAI90 Workshop on KB Manage-
ment Systems, 1990.
[73]
Vieille, L., et al., An Overview of the EKS-V1 System, ECRC Research Report, 1991.
[74]
Sagonas, K., T. Swift, and D. S. Warren, XSB as an Efficient Deductive Database
Engine, Proc. ACM SIGMOD Conf. on Management of Data, Minneapolis, MN,
1994, pp. 442453.
[75]
Friesen, O., A. Lefebvre, and L. Vieille, Validity: Applications of a DOOD System,
Proc. 5th Intl. Conf. on Extending Database Technology (EDBT96), Avignon, France,
1996, pp. 131134.
[76]
Mayol, E., et al., FOLRE: A Deductive Database System for the Integrated Treat-
ment of Updates, Proc. 3rd Intl. Workshop on Rules in Database Systems (RIDS97),
Skövde, Sweden, 1997, pp. 3550.
[77]
Ceri, S., and P. Fraternali, Designing Database Applications With Objects and Rules: The
IDEA Methodology, Reading, MA: Addison-Wesley, 1997.
Selected Bibliography
The main goal of this chapter was to provide a comprehensive summary of
the main features of deductive DBs. A more detailed explanation of some
of these features is provided in some of the references.
References [5, 6, 8, 9, 15] are devoted entirely to deductive DBs. Their
main concern is to describe the semantics of deductive DBs and to explain
the different approaches to query processing. Reference [9] has a chapter on
integrity constraining checking, while [15] discusses deductive DB design
and considers deductive DBs in the general context of knowledge systems.
Most topics on DBs, for instance, [1, 10, 11, 14], include some chap-
ters on deductive DBs. They address mainly issues behind the semantics of
deductive DBs and query processing issues. Reference [14] also considers the
problem of query containment checking.
Update processing is not broadly covered by any of the references.
Relevant papers that have been cited in this chapter describe the different
problems that need to be addressed.
