|
СТ |
Correct Schema Transformations |
1996 |
Qian X. |
|
|
|
Lecture Notes in Computer Science |
18.04.1996 |
|
СТ |
A Model-Theoretic Semantics of the Multilevel Relational Model |
1994 |
Qian X. |
|
|
|
Lecture Notes in Computer Science |
22.04.1994 |
|
СТ |
The Deductive Syntesis of Database Transactions |
1993 |
Qian X. |
|
|
|
ACM Trans. Database Systems |
09.03.1994 |
|
СТ |
A Logical Semantics for Object-Oriented Databases |
1993 |
Meseguer J., Qian X. |
|
|
|
SIGMOD Record |
10.09.1993 |
|
СТ |
An Axiom System for Database Transactions |
1990 |
Qian X. |
|
|
|
Information Processing Letters |
26.02.1991 |
