Constraint by example

Decision Support Systems

Volumn 17, Issue 1 SPEC. ISS., 1996, Pages 3-12

  Orman, Levent V ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

Constraint representation and storage; Database constraints; First order logic; Integrity maintenance

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA STRUCTURES; FORMAL LOGIC; INFORMATION RETRIEVAL SYSTEMS; MAINTENANCE; SECURITY OF DATA;

DATABASE CONSTRAINTS; FIRST ORDER LOGIC; INTEGRITY MAINTENANCE;

DATABASE SYSTEMS;

EID: 0030129161     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9236(95)00019-4     Document Type: Article

References (17)

1. E.N. Hanson, Rule Condition Testing and Action Execution in Ariel, Proceedings of ACM-SIGMOD Conference (1992) 49-58.
2. M. Hammer and D. McLeod, Database Description with SDM: A Semantic Data Model, Transactions on Database Systems 6(3) (1981) 351-386.
3. I. Kobayashi, Validating Database Updates, Information Systems 9(1) (1986) 1-17.
4. W. McCune and L.J. Hernchen, Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis, Journal of ACM 36(1) (1989).
5. M. Morgenstern, Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement, VLDB (1984) 33-42.
6. J.M. Nicholas, Logic for Improving Integrity Checking in Relational Databases, Acta Informatica 18 (1982) 227-253.
7. L.V. Orman, Information Cost as a Determinant of System Architecutre, Information and Software Technology 36(3) (1994) 165-172.
8. L.V. Orman, Constraint Maintenance as a Database Design Criterion, Computer Journal 34(1) (1991) 73-79.
9. A. Shephard and L. Kerschberg, PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems, Proceedings of SIGMOD Conference (1984)307-315.
10. M. Stonebraker et al., The Postgres Rules System, Transactions on Software Engineering 14 (1988) 7.
11. A.U. Tansel, M.E. Arkun and G. Ozsoyoglu, Time by Example Query Language for Historical Databases, Transactions on Software Engineering 15(4) (1989) 464-478.
12. S. Tsur and C. Zaniolo, A Logic-Based Data Language, VLDB (1986).
13. J.D. Ullman, Principles of Data and Knowledge Base Systems, Computer Science Press (1989).
14. S.D. Urban and L.M.L. Delcambre, Constraint Analysis: Specifying Operations on Objects, Transactions on Knowledge and Data Engineering 2(4) (1990) 391-400.
15. R. Wang, Information Tecnology in Action (MIT Press, Cambridge, 1993).
16. R. Weber, EDP Auditing (McGraw Hill, NY, 1982).
17. M.M. Zloof, Query by Example: A Database Language, IBM Systems Journal 16 (1977) 4.