Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
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
The definition of Standard ML
An introduction to database systems: vol. 1 (5th ed.)
An introduction to database systems: vol. 1 (5th ed.)
Logic programming and databases
Logic programming and databases
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
The EXODUS extensible DBMS project: an overview
Readings in object-oriented database systems
Towards a deductive object-oriented database language
Data & Knowledge Engineering
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Towards a Logical-Object Oriented Programming Language for Databases
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Deductive Object-Oriented Database For Data Intensive Application Development
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
Deduction and Deductive Databases for Geographic Data Handling
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
LPL++: object programming language with built-in inheritance through unification
ACM SIGMIS Database
Lazy Learning Algorithms for Problems with Many Binary Features and Classes
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
VESPA: A Benchmark for Vector Spatial Databases
BNCOD 17 Proceedings of the 17th British National Conferenc on Databases: Advances in Databases
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
Proceedings of the 2008 ACM symposium on Applied computing
Hi-index | 0.00 |