Logic and databases: A 20 year retrospective

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 1-57
https://doi.org/10.1007/bfb0031734

Abstract

No abstract available

Keywords

This publication has 120 references indexed in Scilit:

GOLOG: A logic programming language for dynamic domains
The Journal of Logic Programming, 1997
A fixpoint characterization of abductive logic programs
The Journal of Logic Programming, 1996
Bottom-up computation of perfect models for disjunctive theories
The Journal of Logic Programming, 1995
A survey of deductive database systems
The Journal of Logic Programming, 1995
On the equivalence of semantics for normal logic programs
The Journal of Logic Programming, 1995
Schema equivalence in heterogeneous systems: Bridging theory and practice
Information Systems, 1994
Safe computation of the well-founded semantics of datalog queries
Information Systems, 1992
Generalized Closed World Assumption is II02-Complete
Information Processing Letters, 1990
Recursive query processing: the power of logic
Theoretical Computer Science, 1989
Structure and complexity of relational queries
Journal of Computer and System Sciences, 1982