FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
- 15 December 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 1078-1093
- https://doi.org/10.1007/3-540-44957-4_72
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Managing semistructured data with FLORID: A deductive object-oriented perspectiveInformation Systems, 1998
- Logic based modeling and analysis of workflowsPublished by Association for Computing Machinery (ACM) ,1998
- ROL: A deductive object base languageInformation Systems, 1996
- Logical foundations of object-oriented and frame-based languagesJournal of the ACM, 1995
- Design and implementation of ROCK & ROLL: A deductive object-oriented database systemInformation Systems, 1995
- ConceptBase ? A deductive object base for meta data managementJournal of Intelligent Information Systems, 1995
- Deductive and object data languages: A quest for integrationLecture Notes in Computer Science, 1995
- An overview of transaction logicTheoretical Computer Science, 1994
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- On the power of magicThe Journal of Logic Programming, 1991