EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: DB-OODB: OBJECT-ORIENTED DATABASES
Home Policy Brochure Browse Search User Area Contact Help

2006

van Ruth, J. (2006) Flattening Queries over Nested Data Types. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-86 ISBN 90-9020723-6

1999

Even, S.J. and Spelt, D. (1999) Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In: Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, 15 Jun 1999, Lisbon, Portugal. pp. 109-120. Università di Genova. ISBN not assigned
Spelt, D. (1999) Verification Support For Object Database Design. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-24 ISBN 90-365135-53
Spelt, D. and Even, S.J. (1999) A theorem prover-based analysis tool for object-oriented databases. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 22-28 March 1999, Amsterdam, The Netherlands. pp. 375-389. Lecture Notes in Computer Science 1579. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-65703-3

1998

Boncz, P.A. and Wilschut, A.N. and Kersten, M.L. (1998) Flattening an object algebra to provide performance. In: Proceedings of the Fourteenth International Conference on Data Engineering, 23-27 Feb 1998, Orlando, Florida, USA. pp. 568-577. IEEE Computer Society. ISBN 0-8186-8289-2
van Keulen, M. (1998) Object-Oriented Programming: A Unified Foundation - Guiseppe Castagna. L'Objet, 4 (1). pp. 108-110. ISSN 1262-1137
Spelt, D. and Balsters, H. (1998) Automatic Verification of Transactions on an Object-Oriented Database. In: Proceedings of the 6th Workshop on Database Programming Languages (DBPL), 18-20 Aug 1997, Estes Park, Colorado, USA. pp. 396-412. Lecture Notes in Computer Science 1369. Springer Verlag. ISBN 3-540-64823-2

1997

van Keulen, M. (1997) Formal Operation Definition in Object-Oriented Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-16 ISBN 90-3651-031-7
Skowronek, J. (1997) Distributed Optimization Of Nested Queries. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-20 ISBN 90-365106-86
Vermeer, W.W.M. (1997) Semantic Interoperability For Legacy Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-11 ISBN 90-365-0964-5
Vermeer, W.W.M. and Apers, P.M.G. (1997) Modifying queries on complex objects in database federations. International journal of cooperative information systems, 6 (3 and 4). pp. 219-240. ISSN 0218-8430 *** ISI Impact 0,526 ***
Vermeer, W.W.M. and Apers, P.M.G. (1997) Behaviour specification in database interoperation. In: Proceedings of the 9th International Conference on Advanced Information Systems Engineering (CAISE 1997), 16-20 Jun 1997, Barcelona, Catalonia, Spain. pp. 61-74. Lecture Notes in Computer Science 1250. Springer Verlag. ISSN 0302-9743 ISBN 3-540-63107-0

1996

Capobianchi, R. and Mautref, M. and van Keulen, M. and Balsters, H. (1996) An architecture and methodology for the design and development of Technical Information Systems. In: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems (ISMIS), 9-13 Jun 1996, Zakopane, Poland. pp. 511-520. Lecture Notes in Computer Science 1079. Springer-Verlag. ISSN 0302-9743 ISBN 978-3-540-61286-5
Even, S.J. and Faase, F.J. and de By, R.A. (1996) Language features for cooperation in an object-oriented database environment. International Journal of Cooperative Information Systems, Special Issue on Formal Methods, 5 (4). pp. 469-500. ISSN 0218-8430 *** ISI Impact 0,526 ***
Steenhagen, H.J. and de By, R.A. and Blanken, H.M. (1996) Translating OSQL-Queries into Efficient Set Expressions. In: Proceedings of the 5th International Conference on Extending Database Technology (EDBT), 25-29 Mar 1996, Avignon, France. pp. 183-197. Lecture Notes in Computer Science 1057. Springer Verlag. ISSN 0302-9743 ISBN 3-540-61057-X
Vermeer, W.W.M. and Apers, P.M.G. (1996) On the applicability of schema integration techniques to database interoperation. In: Proceedings of the 15th International Conference on Conceptual Modeling (ER 1996), 7-10 Oct 1996, Cottbus, Germany. pp. 179-194. Lecture Notes in Computer Science 1157. Springer Verlag. ISSN 0302-9743 ISBN 3-540-61784-1
Vermeer, W.W.M. and Apers, P.M.G. (1996) The role of integrity constraints in database interoperation. In: Proceedings of the 22th International Conference on Very Large Data Bases (VLDB 1996), 3-6 Sep 1996, Mumbai (Bombay), India. pp. 425-435. Morgan Kaufmann Publishers. ISBN 1-55860-382-4

1995

van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Database Application Semantics. INF Memorandum INF 95-37, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) Design and Validation of Reliable Complex Computer Systems. INF Memorandum INF 95-38, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Databases Application Semantics. In: Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), May 30 - June 2, 1995, Stone Mountain, Atlanta, Georgia, USA. pp. 526-546. IFIP Advances in Information and Communication Technology. Springer Verlag. ISSN 1868-4238 ISBN 978-1-5041-2946-6
Steenhagen, H.J. (1995) Optimization Of Object Query Languages. PhD thesis, University of Twente. ISBN 90-9008745-1
Vermeer, W.W.M. and Apers, P.M.G. (1995) Reverse engineering of relational database applications. In: Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling (OOER 1995), 12-15 Dec 1995, Gold Coast, Australia. pp. 89-100. Lecture Notes in Computer Science 1021. Springer Verlag. ISSN 0302-9743 ISBN 3-540-60672-6
Vermeer, W.W.M. and Apers, P.M.G. (1995) Object-oriented views of relational databases incorporating behaviour. In: Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA 1995), 11-13 Apr 1995, Singapore. pp. 26-35. Advanced Database Research and Development Series 5. World Scientific Press. ISBN 981-02-2220-3

1994

Bal, C.M.R. (1994) A Deductive And Typed Object-Oriented Language. PhD thesis, University of Twente. ISBN 90-9007532-1
Choenni, R.S. and Bertino, E. and Blanken, H.M. and Chang, S.C. (1994) On the Selection of Optimal Index Configuration in OO Databases. In: Proceedings of the 10th International Conference on Data Engineering (ICDE1994), 14-18 Feb 1994, Houston, TX, USA. pp. 526-537. IEEE Computer Society. ISBN 0-8186-5402-3
Choenni, R.S. and Bertino, E. and Blanken, H.M. and Chang, S.C. (1994) Index Configurations in Object-Oriented Databases. In: Proceedings of the 13th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS1994), Versailles, France. pp. 119-133. Prentice-Hall. ISBN 0-13-350539-1
Flokstra, Jan and van Keulen, M. and Skowronek, J. (1994) The IMPRESS DDT: a database design toolbox based on a formal specification language. In: Proceedings of the 1994 ACM SIGMOD international conference on Management of data (SIGMOD 1994), 24-27 May 1994, Minneapolis, Minnesota, USA. pp. 506-506. ACM Press. ISSN 0163-5808
Flokstra, Jan and van Keulen, M. and Skowronek, J. (1994) IMPRESS Database Design Tool - a high-level design toolset based on formal theory. In: Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994), 4-8 Jul 1994, Bologna, Italy. Demo-papers not included in on-line proceedings. ISBN not assigned
Holsheimer, M. and de By, R.A. and Ait-Kaci, H. (1994) A Database Interface for Complex Objects. In: Proceedings of the 11th International Conference on Logic Programming (ICLP 1994), 13-18 June 1994, Santa Margherita Ligure, Italy. pp. 437-455. MIT Press. ISBN 0-262-72022-1
Steenhagen, H.J. and Apers, P.M.G. and Blanken, H.M. and de By, R.A. (1994) From Nested-Loop to Join Queries in OODB. In: Proceedings of 20th International Conference on Very Large Data Bases (VLDB 1994), 12-15 Sep 1994, Santiago de Chile, Chile. pp. 618-629. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-153-8
Vis, J. and Brinksma, H. and de By, R.A. (1994) Formal Specification of Distributed Information Systems. In: CAiSE'94 workshop on Formal Descriptions of Distributed Information Systems, Utrecht, The Netherlands.

1993

Bal, C.M.R. and Balsters, H. (1993) A Deductive and Typed Object-Oriented Language. In: Proceedings of the 2rd International Conference on Deductive and Object-Oriented Databases (DOOD 1993), 6-8 Dec 1993, Phoenix, Arizona. pp. 340-359. Lecture Notes in Computer Science 760. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57530-8
Balsters, H. and de By, R.A. and Zicari, R. (1993) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26-30 July 1993, Kaiserslautern, Germany. pp. 161-184. Lecture Notes in Computer Science 707. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57120-5
Holsheimer, M. and de By, R.A. and Ait-Kaci, H. (1993) A Database Interface for Complex Objects. Technical Report PRL-RR-27 Digital Equipment Corporation, Paris Research Laboratory, Avenue Victor Hugo 85, 92563 Rueil Malmaison Cedex, France.
Teeuw, W.B. (1993) Parallel Management Of Complex Objects. PhD thesis, University of Twente. ISBN 90-9006314-5
Teeuw, W.B. and Rich, C. and Scholl, M.H. and Blanken, H.M. (1993) An Evaluation of Physical Disk I/Os for Complex Object Processing. In: Proceedings of the Ninth International Conference on Data Engineering (ICDE 1993), 19-23 Apr 1993, Vienna, Austria. pp. 363-371. IEEE Computer Society. ISBN 0-8186-3570-3

1992

van Keulen, M. (1992) Struggle for LIFE: A Rapid prototype for TM in LIFE. Master's thesis, University of Twente.
Teeuw, W.B. and Blanken, H.M. (1992) Methodology to Implement an Amoeba Complex Object Server. In: Proceedings of the Fourth International Conference on Computing and Information (ICCI 1992), May 28-30, 1992, Toronto, Ontario, Canada. pp. 312-315. IEEE Computer Society. ISBN 0-8186-2812-X

1991

van den Akker, B.R.M. and Blanken, H.M. (1991) Geographic data modelling in TM. In: Adances in Data Management, Proceedings of the International Conference on Information Systems and Management of Data (COMAD), 12-14 Dec 1991, Bombay, India. pp. 107-126. McGraw-Hill.
Balsters, H. and Fokkinga, M.M. (1991) Subtyping can have a simple semantics. Theoretical computer science, 87 (1). pp. 81-96. ISSN 0304-3975 *** ISI Impact 0,643 ***
Balsters, H. and de Vreeze, C.C. (1991) A Semantics of Object-Oriented Sets. In: Proceedings of the third international workshop on Database programming languages (DBPL) : bulk types and persistent data, 27-30 Aug 1991, Nafplion, Greece. pp. 203-217. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-242-9
Blanken, H.M. (1991) Implementing version support for complex objects. Data and Knowledge Engineering, 6 (1). pp. 1-25. ISSN 0169-023X *** ISI Impact 1,500 ***
Steenhagen, H.J. and Apers, P.M.G. (1991) Implementation of the Object-Oriented Data Model TM. In: Query Processing for Advanced Database Systems, Selected Contributions from a Workshop on "Query Processing in Object-Oriented, Complex-Object and Nested Relation Databases", June 1991, Schloss Dagstuhl, Germany. pp. 273-303. Morgan Kaufmann. ISBN 1-55860-271-2

1990

Siebes, A.P.J.M. (1990) On complex Objects. PhD thesis, University of Twente. ISBN 90-9003271-1