This paper presents algebraic identities and algebraic query optimization for a parametric model for temporal databases. The parametric model has several features not present in the classical model. In this model a key is explicitly designated with a relation and an operator is available to change the key. The algebra for the parametric model is three-sorted; it includes relational expressions that evaluate to relations, domain expressions that evaluate to time domains, and boolean expressions that evaluate to TRUE or FALSE. The identities in the parametric model are classified as weak identities and strong identities. Weak identities in this model are largely counterparts of the identities in classical relational databases. Rather than establishing weak identities from scratch, a meta inference mechanism, introduced in the paper, allows weak identities to be induced from their classical counterpart. On the other hand, the strong identities will be established from scratch. An algorithm for algebraic optimization to transform a query to an equivalent query that will execute more efficiently is presented. Abstract. This paper presents algebraic identities and algebraic query optimization for a parametric model for temporal databases. The parametric model has several features not present in the classical model. In this model a key is explicitly designated with a relation and an operator is available to change the key. The algebra for the parametric model is three-sorted; it includes relational expressions that evaluate to relations, domain expressions that evaluate to time domains, and boolean expressions that evaluate to TRUE or FALSE. Disciplines Databases and Information Systems | Systems ArchitectureThe identities in the parametric model are classified as weak identities and strong identities. Weak identities in this model are largely counterparts of the identities in classical relational databases. Rather than establishing weak identities from scratch, a meta inference mechanism, introduced in the paper, allows weak identities to be induced from their classical counterpart. On the other hand, the strong identities will be established from scratch. An algorithm for algebraic optimization to transform a query to an equivalent query that will execute more efficiently is presented.

No abstract

6.4. Generalization of the Complete Information Model 51 7. RELIABILITY OF ALGEBRAIC EXPRESSIONS 53 7.1. Preliminary Definitions and Notation 53 7.2. Completions 53 7.2.1. Completions of partial temporal assignments and tuples 54 7.2.2. Completions of relations and databases 54 7.2.3. Completions in terms of snapshots 55 7.3. Results when Construct [[Ej is Omitted 55 7.4. Results when Construct [[EJ is Included 67 8. MAXIMALITY OF OPERATORS 72