Relational database constraints as counterexamples

Acta Informatica

Volumn 34, Issue 3, 1997, Pages 167-189

  Orman, Levent V ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA STORAGE EQUIPMENT; DATA STRUCTURES; FORMAL LOGIC; INFORMATION RETRIEVAL;

FIRST ORDER STATIC DATABASE CONSTRAINTS;

RELATIONAL DATABASE SYSTEMS;

EID: 0031083995     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050078     Document Type: Article

References (21)

1. Blakely, J.A., Larson, P., Tompa, F.W.: Efficiently updating materialized views. Proc. ACM SIGMOD Conf., pp. 61-71, 1986
2. Ceri, S., Widom, J.: Deriving production rules for constraint maintenance. Proc. VLDB Conf., pp. 566-577, 1990
3. Frost, R.A., Whittaker, S.A.: A step towards the automatic maintenance of the semantic integrity of databases. Comput. J. 26(2), 124-133 (1983)
4. Gupta, A., Sagiv, Y., Widom, J., Ullman, J.D.: Constraint checking with partial information. Proc. ACM PODS Conf., pp. 45-55, 1994
5. Hull, R., King, R.: Semantic database modeling. Computing Surveys 1988
6. Hsu, A., Imielinski, T.: Integrity checking for multiple updates. Proc. SIGMOD Conf., 152-168, 1985
7. Levy, A.Y., Sagiv, Y.: Queries independent of update. Proc. VLDB Conf., pp. 171-181, 1993
8. McCune, W., Henschen, L.: Maintaining state constraints in relational databases: A proof theoretic basis. J. ACM 36(1) (1989)
9. Morgenstern, M.: Constraint equations: Declarative expression of constraints with automatic enforcement. VLDB 33-42 (1984)
10. Nicholas, J.M.: Logic for improving integrity checking in relational databases. Acta Inf. 18, 227-253 (1982)
11. Orman, L.V.: Functional development of database applications. Trans. Software Eng. 14(9), 1280-1292 (1988)
12. Orman, L.V.: Constraint maintenance as a database design criterion. Comput. J. 34(1), 73-79 (1991)
13. Qian, X. Wiederhold, G.: Incremental computation of active relational expressions. IEEE Trans Knowledge Data Eng. 3(3) 337-341 (1991)
14. Shephard, A., Kerschberg, L.: PRISM: A knowledge based system for semantic integrity specification and enforcement in database systems. Proc. SIGMOD Conf., pp. 307-315, 1984
15. Stonebraker, M. et al.: The Postgres rules system. Trans Software Eng. 14(7) (1988)
16. Tansel, A.U., Arkun, M.E., Ozsoyoglu, G.: Time by example query language for historical databases. Trans. Software Eng. 15(4), 464-478 (1989)
17. Tsur, S., Zaniolo, C.: A logic based data language. VLDB (1986)
18. Ullman, J.D.: Principles of data and knowledge base systems. Rockville, MD: Computer Science Press 1989
19. Urban, S.D., Delcambre, L.M.L.: Constraint analysis: Specifying operations on objects. Trans. Knowledge Data Eng. 2(4), 391-400 (1990)
20. Weber, R.: EDP auditing. New York: McGraw-Hill 1982
21. Zloof, M.M.: Query by example: A database language. IBM Systems J. 16(4) (1977)