A first step towards implementing dynamic algebraic dependences

Theoretical Computer Science

Volumn 190, Issue 2, 1998, Pages 115-149

  Bidoit, N ^a   De Amo, S ^a  

^a CNRS   (France)

Author keywords

Declarative and operational specification of database schema; Dynamic constraint; Transaction schema

Indexed keywords

EID: 11544361451     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00088-1     Document Type: Article

References (38)

1. S. Abiteboul, Algebraic analogues to fundamental notions of query and dependency theory, Rapport de Recherche INRIA, 1983.
2. S. Abiteboul, R. Hull, V. Vianu, Foundatiions of databases, Addison-Wesley, Reading, MA, 1995.
3. S. Abiteboul, V. Vianu, Transactions and integrity constraints, in: Proc. ACM SIGACT/SIGMOD Symp. on Principles of Database Systems, 1985, pp. 193-204.
4. S. Abiteboul, V. Vianu, Transactions languages for database update and specification, I.N.R.I.A. Technical Report 715, 1987.
5. S. Abiteboul, V. Vianu, A transaction-based approach to relational database specification, J. ACM 36 (4) (1989) 758-789.
6. S. Abiteboul, V. Vianu, Procedural languages for database queries and updates, in: Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Austin, 1988, pp. 240-250.
7. S. Abiteboul, V. Vianu, The connection of static constraints with determinism and boundedness of dynamic specification, in: Proc. 3rd Internat Conf. on Data and Knowledge Bases, Jerusalem, 1988, pp. 324-334.
8. A. Aiken, J. Widom, J.M. Hellerstein, Behavior of database production rules: termination, confluence, and observable determinism, in: Proc. ACM-SIGMOD Internat. Conf. Management of Data, 1992, pp. 59-68.
9. C. Been, T. Milo, A model for active object oriented databases, in: Proc. Internat. Conf. on Very Large Data Bases, 1991, pp. 337-349.
10. A. Bonner, M. Kifer, Transaction logic programming, Tech. report CSRI-270, Computer Systems Research Institute, University of Toronto, April 1992 (revised June 1994).
11. M.L. Brodie, D. Ridjanovic, On the design and specification of database transactions, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Eds.), On Conceptual Modelling, Springer, Berlin, 1984, pp. 277-306.
12. M.A. Casanova, R. Fagin, C. Papadimitriu, Inclusion dependencies and their interaction with functional dependencies, in: Proc. 1st ACM SIGACT-SIGMOD Conf. on Principles of Database Systems, 1982, pp. 171-176.
13. M.A. Casanova, A.L. Furtado, On the description of database transition constraints using temporal constraints, in: H. Gallaire, J. Minker, J.M. Nicolas (Eds.), Advances in Data Base Theory, vol. 2, Plenum Press, New York, 1984, pp. 221-236.
14. I.M.V. Castillo, M.A. Casanova, A.L. Furtado, A temporal framework for database specifications, in: Proc. Internat. Conf. on Very Large Data Bases, 1982, pp. 280-291.
15. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca, Automatic generation of production rules for integrity maintenance, ACM Transactions of Database Systems, to appear.
16. J. Chomicki, History-less checking of dynamic integrity constraints, Internat. Conf. on Data Engineering, IEEE, 1992, pp. 557-564.
17. J. Chomicki, D. Niwinski, On the feasibility of checking temporal integrity constraints, PODS 93, Washington DC, pp. 202-213.
18. S. de Amo, Contraintes dynamiques et schemas transactionnels, PhD Thesis, University of Paris 13, 1995.
19. S. de Amo, N. Bidoit, Contraintes dynamiques d'Inclusion et schémas transactionnels, in: Neuviemes Journees Bases de Donnees Avancees, 1993, pp. 401-424.
20. S. de Amo, N. Bidoit, Operational specification for dynamic functional dependencies, Symposio Brasileiro de Banco de Dados, Recife, Bresil, 1995, pp. 163-180.
21. J. Fiadeiro, A. Sernadas, Specification and verification of database dynamics, in: Acta Inform. 25 (1988) pp. 625-661.
22. P. Fraternali, S. Paraboschi, A review of repairing techniques for integrity maintenance, in: Proc. workshop: Rules in Database Systems, Edinburgh, Springer, Berlin, 1993.
23. R. Lassaigne, M. de Rougemont, Logique et Fondements de l'Informatique, vol. 1, Editions Hermés, Paris, 1993.
24. U.W. Lipeck, Transformation of dynamic integrity constraints into transactions specifications, ICDT'88 2nd Internat. Conf. on Database Theory, Lecture Notes in Computer Science, vol. 326, Springer, Berlin, 1988.
25. U.W. Lipeck, G. Saake, Monitoring dynamic integrity constraints based on temporal logic, Inform. Systems 12 (1987) 255-269.
26. P.C. Kanellakis, Elements of relational database theory, in: J. Van Leeuwen, ed., Handbook of Theoretical Computer Science (Elsevier, Amsterdam, 1991) 1074-1156.
27. M. Koubarakis, Foundations of temporal constraint databases, Doctoral Dissertation, Computer Science Division, Dept. of Electrical Engineering, National Technical University of Athens, 1994.
28. D. Maier, The Theory of Relational Databases, Computer Science Press, Rockville, MD, 1983.
29. J.-M. Nicolas, Logic for improving integrity checking in relational databases, Acta Inform. 18 (1982) 227-253.
30. P. Picouet, V. Vianu, Semantics and expressiveness issues in active databases, in: Proc. of ACM Symp. on Principles of Database Systems, San Jose, 1995, pp. 126-138.
31. A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends, Lecture Notes in Computer Science, vol. 224, Springer, Berlin, 1986, pp. 510-584.
32. N. Rescher, A. Urquhart, Temporal Logic, Springer, Berlin, 1971.
33. K.D. Schewe, B. Thalheim, J.W. Schmidt, I. Wetzel, Integrity enforcement in object oriented databases, Proc. 4th Internat. Workshop on Foundations of Models and Language for Data and Objects, 1992.
34. J. Su, Dynamic constraints and object migration, in: Proc. 17th Internat. Conf. on Very Large Data Bases, 1991, pp. 233-242.
35. J.D. Ullman, Principles of Database Systems, 2nd edn. Computer Science Press, Rockville, MD, 1982.
36. V. Vianu, Dynamic functional dependencies and database aging, J. ACM 34 (1) (1987) pp. 28-59.
37. J. Widom, S. Ceri, Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan-Kaufmann, Inc., San Francisco, CA, 1995.
38. M. Yannakakis, C.H. Papadimitriou, Algebraic dependencies, J. Comput. System Sci. 25 (1982) 2-41.