Proving Consistency Of Database Transactions

Gardarin, Georges; Melkanoff, Michel A.

doi:10.1109/vldb.1979.718144

Cited by 22 publications

(10 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Their method can deal with aggregate constraints directly. Gardarin and Melkanoff (1979) introduced a powerful ALGOL-like language (with Hoare-style axiomatic semantics) for transactions that allowed multiple updates as well as updates within a loop construct. They performed manual theorem proving to demonstrate the consistency preservation of transactions, and did not deal with test generation.…”

Section: Constraint Enforcement Methods Constraint Enforcement Methodmentioning

confidence: 99%

Assuring Database Integrity

Stemple

Simon

Mazumdar

et al. 1990

Journal of Database Management

View full text Add to dashboard Cite

show abstract

Section: Constraint Enforcement Methods Constraint Enforcement Methodmentioning

confidence: 99%

Assuring Database Integrity

Stemple

Simon

Mazumdar

et al. 1990

Journal of Database Management

View full text Add to dashboard Cite

show abstract

“…In the second case, the responsibility for integrity control is part of the transaction design process [38,92]. Again, changes to constraint definitions require modification of all transactions including integrity control with respect to these definitions.…”

Section: The Integrity Conceptmentioning

confidence: 99%

“…If the transaction is found to be inconsistent, it is simply rejected. In [38], the consistency of transactions is analyzed with Hoare's axiomatic approach to program correctness. In [92] a knowledge-based approach is described.…”

Section: Safe( T)c~(vd E ~ )(5~(d ) ~ ~(D T(d )))mentioning

confidence: 99%

Integrity control in relational database systems — an overview

Grefen

Apers

1993

Data & Knowledge Engineering

View full text Add to dashboard Cite

This paper gives an overview of research regarding integrity control or integrity constraint handling in relational database management systems. The topic of constraint handling is discussed from two points of view. First, constraint handling is discussed by identifying a number of important research issues, and by treating each issue in detail. Second, a number of projects is described that have resulted in the realization of database management systems supporting integrity constraints; the various projects are compared with respect to a number of system characteristics. Together, both approaches give a broad overview of the state of the art in the field at this moment.

show abstract

“…This approach obviously needs a more practical counterpart. Gardarin and Melkanoff [1979] offer a partial answer, using Hoare's logic rather than dynamic logic.…”

Section: Proving Consistency Of Transactionsmentioning

confidence: 99%

Logic and Databases: A Deductive Approach

1984

View full text Add to dashboard Cite

The purpose of this paper is to show that logic provides a convenient formalism for studying classical database problems. There are two main parts to the paper, devoted respectively to conventional databases and deductive databases. In the first part, we focus on query languages, integrity modeling and maintenance, query optimization, and data dependencies. The second part deals mainly with the representation and manipulation of deduced facts and incomplete information.

show abstract

Proving Consistency Of Database Transactions

Cited by 22 publications

References 5 publications

Assuring Database Integrity

Assuring Database Integrity

Integrity control in relational database systems — an overview

Logic and Databases: A Deductive Approach

Contact Info

Product

Resources

About