Reusing and modifying rulebases by predicate substitution
From MaRDI portal
Publication:676430
DOI10.1006/jcss.1997.1456zbMath0869.68044MaRDI QIDQ676430
Anthony J. Bonner, Tomasz Imielinski
Publication date: 18 March 1997
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/44c1bfd3073a673c516e5e7604681e0e78da53f6
68P15: Database theory
Uses Software
Cites Work
- A polymorphic type system for Prolog
- A theory of type polymorphism in programming
- Structure and complexity of relational queries
- A lattice-theoretical fixpoint theorem and its applications
- Alternation
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item