DBPL
1993
Springer
14 years 3 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
14 years 3 months ago
1993
Springer
DBPL
1993
Springer
14 years 3 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
14 years 3 months ago
1993
Springer
BTW
1993
Springer
14 years 3 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
14 years 3 months ago
1993
Springer
ADC
1993
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
1994
Springer
ICDT
2010
ACM
14 years 3 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...