S. Abiteboul and A. Bonner. Objects and views. In J. Clifford and R. King, editors, Proc. of ACM SIGMOD, pages 238–247, 1991.
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proc. of ACM SIGMOD, pages 159–173, 1989.
F. Bancilhon, C. Delobel, and P. Kanellakis. Building an Object-Oriented Database System — The story of
O2. Morgan Kaufmann, 1992.
S. Bergamaschi and C. Sartori. On taxonomic reasoning in conceptual design. ACM Trans. on Database Systems
, 17(3):385–422, 1992.Google Scholar
M. Buchheit, M. A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption between queries to Object-Oriented databases. Information Systems
, 19(1):33–54, 1994.Google Scholar
D. Calvanese and M. Lenzerini. Making object-oriented schemas more expressive. In Proc. of PODS-94, pages 243–254. ACM Press and Addison Wesley, 1994.
D. Calvanese, M. Lenzerini, and D. Nardi. A unified framework for class based representation formalisms. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of KR-94, pages 109–120. Morgan Kaufmann, 1994.
T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. J. of Intelligent and Cooperative Information Systems
, 2(4):375–398, 1993.Google Scholar
R. G. G. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann, 1994. Release 1.1.
V. Christophides, S. Abiteboul, S. Cluet, and M. Scholl. From structured documents to novel query facilities. In R. T. Snodgrass and M. Winslett, editors, Proc. of ACM SIGMOD, pages 313–324, 1994.
G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms and their Application to Medical Terminology Servers. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma “La Sapienza”, 1995.
G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and prepositional dynamic logics. In Proc. of AAAI-94, pages 205–212. AAAI Press/The MIT Press, 1994.
G. De Giacomo and M. Lenzerini. What's in an aggregate: Foundations for description logics with tuples and sets. In Proc. of IJCAI-95, 1995.
G. Di Battista and M. Lenzerini. Deductive entity-relationship modeling. IEEE Trans. on Knowledge and Data Engineering
, 5(3):439–450, 1993.Google Scholar
E. A. Emerson and C. S. Jutla. On simultaneously determinizing and complementing ω-automata. In Proc. of LICS-89, pages 333–342, 1989.
M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Sciences
, 18:194–211, 1979.Google Scholar
D. Harel. Dynamic logic. In Handbook of Philosophical Logic
, volume 2, pages 497–640. D. Reidel, Dordrecht, Holland, 1984.Google Scholar
R. Hull. A survey of theoretical research on typed complex database objects. In J. Paredaens, editor, Databases, pages 193–256. Academic Press, 1988.
R. B. Hull and R. King. Semantic database modelling: Survey, applications and research issues. ACM Computing Surveys
, 19(3):201–260, Sept. 1987.Google Scholar
D. Kozen and J. Tiuryn. Logics of programs. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science — Formal Models and Semantics
, pages 789–840. Elsevier Science Publishers (North-Holland), 1990.Google Scholar
C. Lecluse and P. Richard. Modeling complex structures in object-oriented databases. In Proc. of PODS-89, pages 362–369, 1989.
M. Staudt, M. Nissen, and M. Jeusfeld. Query by class, rule and concept. J. of Applied Intelligence
, 4(2):133–157, 1994.Google Scholar
C. Stirling. Modal and temporal logic. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, pages 477–563. Clarendon Press, 1992.
R. E. Streett. Propositional dynamic logic of looping and converse is elementarily decidable. Information and Computation
, 54:121–141, 1982.Google Scholar
M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences
, 32:183–221, 1986.Google Scholar
W. A. Woods and J. G. Schmolze. The KL-ONE family. In F. W. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133–178. Pergamon Press, 1992. Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2–9.