![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Specifications of Database Systems 1992
- David J. Harper, Moira C. Norrie:
Specifications of Database Systems. Workshops in Computing, Springer 1992, ISBN 978-3-540-19732-4 - A. T. M. Aerts, Paul De Bra, Kees M. van Hee:
Transforming Functional Database Schemes to Relational Representations. 1-20 - Roberto S. M. Barros, David J. Harper:
Formal Development of Relational Database Applications. 21-43 - Stefano Ceri, Stefano Crespi-Reghizzi:
Formal Definition of Nested Relations by Syntactical Mappings. 44-63 - Subrata Kumar Das:
Specifying Deductive Databases and Integrity Constraints in Meta-logic. 64-87 - Karen C. Davis, Lois M. L. Delcambre:
A Denotational Approach to Object-Oriented Query Language Definition. 88-105 - John S. Fitzgerald:
Reasoning about a Modular Model-Oriented Formal Specification. 106-134 - Catherine Hamon, Marion Créhange:
Object Models and Methodology for Object-Oriented Database Design. 135-153 - Anthony Kosky:
A Formal Model for Databases with Applications to Schema Merging. 154-170 - David Maier:
Specifying a Database System to Itself. 171-187 - Cornelis A. Middelburg
:
VVSL Specification of a Transaction-oriented Access Handler. 188-212 - Moira C. Norrie:
A Specification of an Object-Oriented Data Model with Relations. 213-227 - Gunter Saake, Ralf Jungclaus:
Specification of Database Applications in the TROLL Language. 228-245 - W. B. Samson, A. W. Wakelin:
Algebraic Specification of Databases - A Survey from a Database Perspective. 246-254 - Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt:
Towards a Structured Specification Language for Database Applications. 255-274 - Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende:
The Reification Dimension in Object-oriented Data Base Design. 275-299 - Michael F. Worboys:
Database Specification using Transaction Sets. 300-311 - Petros Bofakos, Moira C. Norrie:
Working Group Sessions. 312-319
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.