Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Naive evaluation of recursively defined relations
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The generalized counting method for recursive logic queries
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a deductive object-oriented database language
Data & Knowledge Engineering
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Berkeley PLM Instruction Set: An Instruction Set for Prolog
The Berkeley PLM Instruction Set: An Instruction Set for Prolog
Logical Foundations of Object-Oriented and Frame-Based Languages
Logical Foundations of Object-Oriented and Frame-Based Languages
Query Languages for Nested Relational Databases
Query Languages for Nested Relational Databases
A logical framework for reasoning about access control models
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
A System to Specify and Manage Multipolicy Access Control Models
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
A DLP system with object-oriented features
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Process representation and reasoning using a logic formalism with object-oriented features
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
| Hi-index | 0.00 |
The design and a prototypical implementation of COMPLEX, which is a logic-based system extended with concepts from the object-oriented paradigm and is intended as a tool for the development of knowledge-based applications, are described. The system supports a logic language, called Complex-Datalog (C-Datalog), enhanced by semantic constructs to provide facility for data abstraction. Its implementation is based on a bottom-up computational model that guarantees a fully declarative style of programming. However, the user is also given the possibility of running a query using a top-down model of computation. Efficiency of execution is the result of the integration of different novel technologies for the compilation and the execution of queries.