A foundation for vacuuming temporal databases

A wide range of real-world database applications, including financial and medical applications, are faced with accountability and traceability requirements. These requirements lead to the replacement of the usual update-in-place policy by an append-only policy that retain all previous states in the database. This policy result in so-called transaction-time databases which are ever-growing. A variety of physical storage structures and indexing techniques as well as query languages have been proposed for transaction-time databases, but the support for physical removal of data, termed vacuuming, has only received little attention. Such vacuuming is called for by, e.g., the laws of many countries and the policies of many businesses. Although necessary, with vacuuming, the database's perfect recollection of the past may be compromised via, e.g., selective removal of records pertaining to past states. This paper provides a semantic foundation for the vacuuming of transaction-time databases. The main focus is to establish a foundation for the correct processing of queries and updates against vacuumed databases. However, options for user, application, and database interactions in response to queries and updates against vacuumed data are also outlined.

[1]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1978, SIGMOD Conference.

[2]  John F. Roddick,et al.  Evolution and change in data management — issues and directions , 2000, SGMD.

[3]  Peter H. Golde,et al.  C# Language Specification , 2003 .

[4]  Christian S. Jensen,et al.  On the semantics of “now” in databases , 1996, TODS.

[5]  Hamid Pirahesh,et al.  Integrating Triggers and Declarative Constraints in SQL Database Systems , 1996, VLDB.

[6]  Richard T. Snodgrass,et al.  Evaluation of relational algebras incorporating the time dimension in databases , 1991, CSUR.

[7]  G. M. Nijssen.  Modelling in data base management systems : proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems , 1976 .

[8]  Fabio Grandi,et al.  A generalized modeling framework for schema versioning support , 2000, Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No.PR00528).

[9]  Shamkant B. Navathe,et al.  Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 28-31, 1985 , 1985 .

[10]  Michael Stonebraker,et al.  The POSTGRES Papers , 1987 .

[11]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[12]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[13]  George P. Copeland.  What if Mass Storage Were Free? , 1980, Computer.

[14]  Leo Mark,et al.  A framework for vacuuming temporal databases , 1990 .

[15]  Arie Segev,et al.  Using common subexpressions to optimize multiple queries , 1988, Proceedings. Fourth International Conference on Data Engineering.

[16]  Surajit Chaudhuri.  Generalization and a framework for query modification , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[17]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[18]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1979, TODS.

[19]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[20]  Alfred V. Aho,et al.  Equivalences Among Relational Expressions , 1979, SIAM J. Comput..

[21]  Ramez Elmasri,et al.  TSQL2 language specification , 1994, SGMD.

[22]  Gerardus Maria Nijssen.  Architecture and models in data base management systems , 1977 .

[23]  George P. Copeland,et al.  What if mass storage were free? , 1982, Computer Architecture Workshop.

[24]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[25]  Hector Garcia-Molina,et al.  Expiring Data in a Warehouse , 1998, VLDB.

[26]  Christian S. Jensen,et al.  On the Semantics of , 1996 .