论文信息 - Some recent developments in deductive databases

Some recent developments in deductive databases

Deductive (or logical) databases have become over the last years a lively field of research. The initial research results have been disseminated and utilized in building the first generation of deductive database prototypes. These systems, in turn, are being used now for experimentation and application development. While the term Deductive Database has no precise definition, it is typically associated with a system having the following properties:

Shalom Tsur | S. Tsur

[1] Allen Van Gelder,et al. The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..

[2] Michael Kifer,et al. A logic for object-oriented logic programming , 1989, PODS '89.

[3] Shalom Tsur,et al. Deductive databases in action , 1991, PODS '91.

[4] Shamim A. Naqvi,et al. A Logical Language for Data and Knowledge Bases , 1989 .

[5] Sergio Greco,et al. Minimum and maximum predicates in logic programming , 1991, PODS '91.

[6] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .

[7] Kenneth A. Ross,et al. Glue-Nail: a deductive database system , 1991, SIGMOD '91.

[8] Jeffrey D. Ullman,et al. Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.