×

A first step towards implementing dynamic algebraic dependences. (English) Zbl 0893.68050

Summary: We present a class of dynamic constraints (DADs) which are of practical interest and allows one to express restrictions such as if some property holds now, then in the past some other property should have been true. The paper investigates in a constructive manner the definition of transaction-based specifications equivalent to DAD-constraint-based specifications. Our study shows the limitation of Abiteboul/Vianu’s transaction schemas and proposes a generalization of transaction schemas based on regular expression on transactions.

MSC:

68P15 Database theory
PDFBibTeX XMLCite
Full Text: DOI

References:

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