On the design of relational database schemata
ACM Transactions on Database Systems (TODS)
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Data and activities: Exploiting hierarchies of classes
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Constraints: A uniform model for data and control
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A framework for data base semantic integrity
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Specification and verification of data base semantic integrity.
Specification and verification of data base semantic integrity.
Research issues in database specification
ACM SIGMOD Record
MATCH—a new high-level relational operator for pattern matching
Communications of the ACM
A rule-based object/task modelling approach
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The management of changing types in an object-oriented database
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Modelling semantic relationships and constraints in object-oriented databases
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
A pattern-based object calculus
The VLDB Journal — The International Journal on Very Large Data Bases
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Knowledge-based Integrity Constraint Validation
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A Parallel Processing Strategy for Evaluating Recursive Queries
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
| Hi-index | 0.02 |
This paper presents a knowledge-based approach to the specification, design, implementation, and evolution of database applications The knowledge base consists of 1) facts regarding database objects that are organized into a hierarchy of models, and 2) rules that specify the behavior of objects within a model and among modelsThe model hierarchy consists of database application data, database schemas, data model definitions, and system-related objects that control the user's interaction with the system The rules governing the behavior of objects are specified as explicit constraints on those objects User goals are transformed into conjectures that the inference engine must prove are satisfiable by interpreting all applicable constraintsThe semantic architecture of the PRISM system is described, together with the syntax and semantics of the constraint language PRISM is implemented in the C programming language and runs under the UNIX ** operating system