|
СТ |
An Efficient Method for Checking Object-Oriented Database Schema Correctness |
1998 |
Formica A., Groger H. D., Missikoff M. |
|
|
|
ACM Trans. on Database Systems |
22.09.1999 |
|
СТ |
Constraint Satisfiability in Object-Oriented Databases |
1995 |
Formica A., Missikoff M., Terenzi R. |
|
|
|
East/West Database Workshop: Proc./Second Intern. East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 |
17.05.1995 |
|
СТ |
Correctness of ISA Hierarchies in Object-Oriented Database Schemas |
1994 |
Formica A., Missikoff M. |
|
|
|
Lecture Notes in Computer Science |
23.04.1994 |
|
СТ |
Integrity Constraints Representation in Object-Oriented Databases |
1993 |
Formica A., Missikoff M. |
|
|
|
Lecture Notes in Computer Science |
08.12.1993 |
|
СТ |
Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas |
1993 |
Formica A., Missikoff M. |
|
|
|
Lecture Notes in Computer Science |
26.10.1993 |
|
СТ |
An Algorithm for Type Subsumption Analysis |
1991 |
Formica A., Missikoff M. |
|
|
|
Proc.: V-th All-Union Conference/Systems of Data and Knowledge Bases |
30.03.1993 |
|
СТ |
An Object-Oriented Data Model for Artificial Intelligence Application |
1991 |
Formica A., Missikoff M., Vazzana S. |
|
|
|
Lecture Notes in Computer Science |
14.08.1991 |
