A straightforward formalization of the relational model
Information Systems
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Normalization of relations and PROLOG
Communications of the ACM
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Traversal recursion: a practical approach to supporting recursive applications
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Panel: The effect of large main memory on database systems
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Prolog: a database query language for all seasons
Proceedings from the first international workshop on Expert database systems
PROSQL: a Prolog programming interface with SQL/DS
Proceedings from the first international workshop on Expert database systems
Towards an integrated database-Prolog system
Proceedings from the first international workshop on Expert database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The design of ¬ 1NF relational databases into nested normal form
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A study of transitive closure as a recursion mechanism
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Programming in Prolog
Logic programming and knowledge engineering
Logic programming and knowledge engineering
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Database applications using Prolog
Database applications using Prolog
The relational model for database management: version 2
The relational model for database management: version 2
Logic programming and databases
Logic programming and databases
Boolean predicate reduction for file access
Information modelling and knowledge bases
Efficient Prolog access to CODAYSL and FDM databases
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Design of an external schema facility to define and process recursive structures
ACM Transactions on Database Systems (TODS)
On database systems development through logic
ACM Transactions on Database Systems (TODS)
An architecture for automatic relational database sytem conversion
ACM Transactions on Database Systems (TODS)
Restructuring for large databases: three levels of abstraction
ACM Transactions on Database Systems (TODS)
A normal form for nested relations
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Optimizing the performance of a relational algebra database interface
Communications of the ACM
Implementation of a structured English query language
Communications of the ACM
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
PROLOG Database System
Principles of Database Systems
Principles of Database Systems
Design of Database Structures
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An enhanced inference mechanism for generating relational algebra queries
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Implementation techniques for main memory database systems
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
Proceedings of the Third International Conference on Data Engineering
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A Source-to-Source Meta-Translation System for Relational Query Languages
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Programming in the META-Language: A Tutorial
The Vienna Development Method: The Meta-Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
INDEX SELECTION IN A SELF-ADAPTIVE RELATIONAL DATA BASE MANAGEMENT SYSTEM
INDEX SELECTION IN A SELF-ADAPTIVE RELATIONAL DATA BASE MANAGEMENT SYSTEM
New features for a relational database system to support computer aided design
New features for a relational database system to support computer aided design
Research issues in database specification
ACM SIGMOD Record
Theory of Relational Databases
Theory of Relational Databases
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
An automated inference approach to network derivation for AM/FM/GIS systems
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Multidimensional data model and query language for informetrics
Journal of the American Society for Information Science and Technology
High-Level Interaction with Relational Databases in Logic Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
An alternative high-level approach to interaction with databases
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Hi-index | 0.00 |
A Prolog-based experimental system for relational databases that is not defined from the viewpoint of any specific relational topic is proposed. The idea is that the experimental system can be used in many different contexts such as query optimization, data restructuring and database design. The definition is based entirely on the theoretical foundations of the relational model. The experimental system offers a well-defined environment for studying how other systems can be integrated with relational databases. The use of the experimental system in the context of different approaches to deductive databases is considered.