Using database versions to implement temporal integrity constraints

Doucet, Anne; Fauvet, Marie-Christine; Gançarski, Stéphane; Jomier, Geneviève; Monties, Sophie

doi:10.1007/3-540-62501-1_34

Cited by 7 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For instance, inclusion, exclusion and simultaneity constraints. For more details about constraints in database modelling one can see for example [6,7,9,11,12,16,17,19,21]. In this section, we will present only the cardinality constraints to be studied in the sequel.…”

Section: Constraints In Database Modellingmentioning

confidence: 98%

Consistency problems in ER-schemas for database systems

Boufarès¹,

Bennaceur²

2004

Information Sciences

View full text Add to dashboard Cite

Section: Constraints In Database Modellingmentioning

confidence: 98%

Consistency problems in ER-schemas for database systems

Boufarès¹,

Bennaceur²

2004

Information Sciences

View full text Add to dashboard Cite

“…Fins ara, l'estudi més complet realitzat sobre restriccions d'integritat temporals en l'àrea de bases de dades temporals ha estat la classificació de Michael Böhlen [Böh94b], revisada i actualitzada recentment per Richard Snodgrass [Sno00]. Una altra classificació molt interessant de restriccions d'integritat temporals des d'un punt de vista diferent i dins de l'àrea de versions de bases de dades, molt propera a la de bases de dades temporals, és la d'Anne Doucet i altres autors [DFG+97]. Partint d'aquests dos darrers articles, anirem construint la nostra classificació de restriccions d'integritat temporals per a bd-dbts.…”

Section: Restriccions D'integritat Temporalsunclassified

“…Aquests quatre criteris d'Anne Doucet et al [DFG+97], convertits en set en el nostre cas, combinats amb la taxonomia de Michael Böhlen [Böh94b] ens ajudaran a entendre millor com poden ser les restriccions d'integritat temporals en bd-dbts.…”

Section: • Restriccions D'integritat Dependents D'una Data Límitunclassified

Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals

Martín Escofet

View full text Add to dashboard Cite

This Ph.D. thesis mainly deals with temporal and deductive databases areas and the aim is to obtain a method for integrity constraint checking in bitemporal deductive databases, analyzing the temporal integrity constraint behavior. The existence of a transaction time dimension is especially useful to reduce the number of transition rules. In the valid time dimension, the temporal dependence of database predicate terms has been explored. Moreover, this Ph.D. thesis provides some research advances bringing together the areas of temporal databases and data warehouses. Chapter 1 is an introduction to the problem and the related work of this Ph.D. thesis main area. Chapter 2 presents temporal databases, and chapter 3 deductive databases. Chapter 4 introduces the study of temporal deductive database transaction behavior, explaining the concept of coherent transaction. This concept is used to reject transactions without more information requirements. Chapter 5 defines a new taxonomy of temporal integrity constraints to achieve a better understanding of why constraints are required and a best way to define them using first-order logic. In order to meet these goals, we have studied temporal integrity constraint taxonomies existing on the temporal database area and other deeply related areas such as multiversion databases. These works have been adapted and further developed to cover the scope of bitemporal deductive databases. Chapter 6 proposes an integrity constraint checking method for bitemporal deductive databases that derives a set of transition rules for each temporal integrity constraint. Then, Standard Linear Deduction with Negation as Failure Resolution is used to verify that a transaction does not violate any constraint before the transaction is allowed to commit. The set of transition rules obtained is very large; therefore, a carefully analysis of the integrity constraints using the taxonomy introduced above drastically reduces the number of rules. This chapter includes some examples of this new reduced set of transition rules and application examples of our integrity constraint checking method in bitemporal deductive databases. In chapters 7 and 8, we present our current and further work. In chapter 7, we identify a new type of predicate term dependent of time. This new type of term, named temporally dependent term, is formally defined and deeply studied in order to find its properties and its applicability to queries and integrity constraints. In chapter 8, we explain how to combine temporal database and data warehouse areas. Finally, chapter 9 provides conclusions and further work.

show abstract

“…Integrity constraints in Multiversion Databases (MVDB) are discussed in [16,19,18,17]. These papers use logics.…”

Section: Specification Of Integrity Constraintsmentioning

confidence: 99%

Management of integrity constraints for multi-scale geospatial data

Longo¹

View full text Add to dashboard Cite

Work on multi-scale issues concerning geospatial data presents countless challenges that have been long attacked by GIScience (Geographic Information Science) researchers. Indeed, a given real world problem must often be studied at distinct scales in order to be solved. Another factor to be considered is the possibility of maintaining the history of changes at each scale. Moreover, one of the main goals of multi-scale environments is to guarantee the manipulation of information without any contradiction among the different representations. The concept of scale goes beyond issues of space, since it also applies, for instance, to time. These problems will be analyzed in this thesis, resulting in the following contributions: (a) the proposal of the DBV (Database Version) multi-scale model to handle data at multiple scales from a database perspective; (b) the specification of multi-scale integrity constraints; (c) the implementation of a platform to support model and constraints, tested with real multi-scale data.vii I would like to thank Dr. Alexandre Continho from CNPTIA -Embrapa, who provided real world multi-scale data and feedback for our case study.I would also like to thank many other people that were not mentioned but also believed, supported, participated, collaborated with this work and nevertheless remain anonymous in these acknowledgments.

show abstract

Using database versions to implement temporal integrity constraints

Cited by 7 publications

References 13 publications

Consistency problems in ER-schemas for database systems

Consistency problems in ER-schemas for database systems

Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals

Management of integrity constraints for multi-scale geospatial data

Contact Info

Product

Resources

About