Zoekresultaten
Resultaat 61 - 80 (van 153)
D. Spelt | S. Even Theorem prover-based analysis of transactions on object-oriented databases
(extended abstract)
Non-fictie
Engels | 17 pagina's | Centre for Telematics and Information Technology, Enschede | 1998
Gedrukt boek
D. Spelt | S. Even A theorem prover-based analysis tool for object-oriented databases
Non-fictie
Engels | 16 pagina's | Centre for Telematics and Information Technology, Enschede | 1998
Gedrukt boek
Sunil Choenni | M.L. Kersten A framework for multi-query optimization
Non-fictie
Engels | 30 pagina's | National Aerospace Laboratory NLR, Amsterdam | 1998
Gedrukt boek
Vijay Kumar | Sang H. Son Database recovery
Non-fictie
Engels | 94 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1998
Gedrukt boek
Indexing techniques for advanced database systems
Non-fictie
Engels | 250 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1997
Gedrukt boek
D. Spelt | Herman Balsters Higher-order logic representation of OO database schemas
Non-fictie
Engels | 12 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek
W. van der Hoek | M. de Rijke Interleaved contractions
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
Robertus Johannes Mersel Management of distributed data in distributed environments
Non-fictie
Engels | 291 pagina's | 1995
Gedrukt boek
Mendel Rosenblum The design and implementation of a log-structured file system
Non-fictie
Engels | 144 pagina's | Kluwer Academic Publishers, Dordrecht | 1995
Gedrukt boek
Mark W.W. Vermeer | P.M.G. Aspers Integrity control based on object behaviour
Non-fictie
Engels | 15 pagina's | University of Twente, Department of Computer Science, Enschede | 1995
Gedrukt boek
Research Institute for Declarative Systems Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
Non-fictie
Engels | Katholieke Universiteit Nijmegen, Research Institute for Declarative Systems, Department of Informatics, Faculty of Mathematics and Informatics, Nijmegen | 1993
Gedrukt boek
International Federation for Information Processing Interoperable database systems (DS-5)
proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992
Non-fictie
Engels | 347 pagina's | North-Holland, Amsterdam [etc.] | 1993
Gedrukt boek
M. Boogaard | R.J. Veldwijk Automatic relational database restructuring
Non-fictie
Engels | 17 pagina's | Vrije Universiteit, Faculteit der Economische Wetenschappen en Econometrie, Amsterdam | 1992
Gedrukt boek
Paul Grefen Integrity control in parallel database systems
Non-fictie
Engels | 159 pagina's | 1992
Gedrukt boek
Paul Grefen The performance of integrity control through transaction modification in a parallel main-memory database system
Non-fictie
Engels | 23 pagina's | University of Twente, Department of Computer Science, Enschede | 1992
Gedrukt boek
J.H. ter Bekke Recent developments in database management
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1992
Gedrukt boek
D. Breslauer Fast parallel string prefix-matching
Non-fictie
Engels | 8 pagina's | CWI, Amsterdam | 1992
Gedrukt boek
A.P.J.M. Siebes | M.H. van der Voort | M.L. Kersten Towards a design theory for database triggers
Non-fictie
Engels | 17 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
A.H.M. ter Hofstede | H.A. Proper | Th.P. van der Weide A conceptual language for the description and manipulation of complex information models
Non-fictie
Engels | University of Nijmegen, Department of Informatics, Faculty of Mathematics and Informatics, Nijmegen | 1992
Gedrukt boek
A.H.M. ter Hofstede | H.A. Proper | Th.P. van der Weide Formal definition of a conceptual language for the description and manipulation of information models
Non-fictie
Engels | 57 pagina's | Katholieke Universiteit Nijmegen, Department of Informatics, Faculty of Mathematics and Informatics, Nijmegen | 1992
Gedrukt boek