Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An abstract machine for SLG resolution: definite programs
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
ROL: a deductive object base language
Information Systems
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for programming database transactions
Logics for databases and information systems
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
Deductive and Object Data Languages: A Quest for Integration
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
FLORID: A Prototype for F-Logic
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
Model-Based Information Integration in a Neuroscience Mediator System
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Results on Reasoning about Updates in Transaction Logic
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
Knowledge-Based Integration of Neuroscience Data Sources
SSDBM '00 Proceedings of the 12th International Conference on Scientific and Statistical Database Management
Model-Based Information Integration in a Neuroscience Mediator System
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
A System for Managing Alternate Models in Model-Based Mediation
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
IEEE Intelligent Systems
A local algorithm for incremental evaluation of tabled logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
F-OWL: an inference engine for semantic web
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Towards ontology alignment of e-business standards using OWL and F-logic
International Journal of Metadata, Semantics and Ontologies
| Hi-index | 0.00 |
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented by translation into XSB, a tabling logic engine that is known for its efficiency and is the only known system that extends the power of Prolog with an equivalent of the Magic Sets style optimization, the well-founded semantics for negation, and many other important features. We discuss the features of XSB that help our effort as well as the areas where it falls short of what is needed. We then describe our solutions and optimization techniques that address these problems and make FLORA much more efficient than other known DOOD systems based on F-logic.