DBPL
1993
Springer
13 years 11 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
DBPL
1993
Springer
13 years 11 months ago
1993
Springer
DBPL
1993
Springer
13 years 11 months ago
1993
Springer
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
DBPL
1993
Springer
13 years 11 months ago
1993
Springer
BTW
1993
Springer
13 years 11 months ago
1993
Springer
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...
BTW
1993
Springer
13 years 11 months ago
1993
Springer
ADC
1993
Springer
13 years 11 months ago
1993
Springer
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...
ADC
1994
Springer
13 years 11 months ago
1994
Springer
We present a proposed query language for extended entity relationship schemas. The language improves on previous proposals by using only concepts explicitly in a given schema. It ...
ADC
1994
Springer
13 years 11 months ago
1994
Springer
ICDT
2010
ACM
13 years 11 months ago
2010
ACM
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...