{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:22Z","timestamp":1725634162692},"publisher-location":"London","reference-count":48,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_25","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T07:11:27Z","timestamp":1321427487000},"page":"306-319","source":"Crossref","is-referenced-by-count":0,"title":["Safe Derivations in Object Hierarchies"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Conrad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/B978-0-444-88433-6.50020-4","volume-title":"Deductive and Object-Oriented Databases","author":"M Atkinson","year":"1990","unstructured":"M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The Object-Oriented Database System Manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio, eds., Deductive and Object-Oriented Databases, pages 223\u2013240. Elsevier (North-Holland), 1990."},{"issue":"2","key":"25_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S Abiteboul","year":"1990","unstructured":"S. Abiteboul. Towards a deductive object-oriented database language. Data & Knowledge Engineering, 5(2):263\u2013287, 1990.","journal-title":"Data & Knowledge Engineering"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"KR Apt","year":"1988","unstructured":"K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowlewdge. In J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Kaufmann, 1988."},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul, P.C. Fischer, and H.J. Schek, eds. Nested Relations and Complex Objects in Databases, Springer, LNCS 361, 1989.","key":"25_CR4","DOI":"10.1007\/3-540-51171-7"},{"issue":"1","key":"25_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"S Abiteboul","year":"1991","unstructured":"S. Abiteboul and S. Grumbach. A Rule-Based Language with Functions and Sets. ACM Trans, on Database Systems, 16(1): 1\u201330, 1991.","journal-title":"ACM Trans, on Database Systems"},{"issue":"4","key":"25_CR6","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"S Abiteboul","year":"1987","unstructured":"S. Abiteboul and R. Hull. IFO \u2014 A Formal Semantic Database Model. ACM Trans, on Database Systems, 12(4):525\u2013565,1987.","journal-title":"ACM Trans, on Database Systems"},{"key":"25_CR7","first-page":"159","volume-title":"Object Identity as a Query Language Primitive","author":"S Abiteboul","year":"1989","unstructured":"S. Abiteboul and P.C. Kanellakis. Object Identity as a Query Language Primitive. In ACM SIGMOD Conf. on Management of Data, pages 159\u2013173, 1989."},{"key":"25_CR8","first-page":"152","volume-title":"Object-Oriented Database Systems","author":"F Bancilhon","year":"1988","unstructured":"F. Bancilhon. Object-Oriented Database Systems. In Proc. 7th ACM Symp. Principles of Database Systems, pages 152\u2013162, 1988."},{"issue":"4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C Beeri","year":"1990","unstructured":"C. Beeri. A Formal Approach to Object-Oriented Databases. Data & Knowledge Engineering, 5(4):353\u2013382, 1990.","journal-title":"Data & Knowledge Engineering"},{"key":"25_CR10","volume-title":"The Requirement and Design Specification Language SPECTRUM \u2014 An Informal Introduction (2 parts)","author":"M Broy","year":"1993","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, and K. St0len. The Requirement and Design Specification Language SPECTRUM \u2014 An Informal Introduction (2 parts). Technical Report TUM-I9311\/9312, TU M\u00fcnchen, 1993."},{"key":"25_CR11","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-55015-1_22","volume-title":"Deductive and Object-Oriented Databases (DOOD\u201991)","author":"S Brass","year":"1991","unstructured":"S. Brass and U.W. Lipeck. Semantics of Inheritance in Logical Object Specifications. In C. Delobel, M. Kifer, and Y. Masunaga, eds., Deductive and Object-Oriented Databases (DOOD\u201991), pages 411\u2013430. Springer, LNCS 566, 1991."},{"key":"25_CR12","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BFb0032425","volume-title":"Advances in Database Technology \u2013 EDBT\u201992","author":"S Brass","year":"1992","unstructured":"S. Brass and U.W. Lipeck. Generalized Bottom-Up Query Evaluation. In A. Pirotte, C. Delobel, and G. Gottlob, eds., Advances in Database Technology \u2013 EDBT\u201992, pages 88\u2013103. Springer, LNCS 580,1992."},{"issue":"3","key":"25_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0743-1066(91)90036-O","volume":"10","author":"C Beeri","year":"1991","unstructured":"C. Beeri, S. Naqvi, O. Shmuelli, and S. Tsur. Set Constructors in a Logic Database Language. Journal of Logic Programming, 10(3): 181\u2013232,1991.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/130868.130885","volume":"21","author":"S Conrad","year":"1992","unstructured":"S. Conrad and M. Gogolla. An Annotated Bibliography on Object-Orientation and Deduction. ACM SIGMOD RECORD, 21(1): 123\u2013132,1992.","journal-title":"ACM SIGMOD RECORD"},{"key":"25_CR15","first-page":"92","volume-title":"Informatik-Bericht","author":"S Conrad","year":"1992","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92\u201302, TU Braunschweig, 1992."},{"issue":"1","key":"25_CR16","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. What You always wanted to Know About Datalog (And Never Dared to Ask). IEEE Transaction on Knowledge and Data Engineering, 1(1): 146\u2013166,1989.","journal-title":"IEEE Transaction on Knowledge and Data Engineering"},{"key":"25_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer New York, 1990."},{"key":"25_CR18","first-page":"315","volume-title":"HiLog as a Platform for Database Languages (or why predicate calculus is not enough)","author":"W Chen","year":"1989","unstructured":"W. Chen, M. Kifer, and D.S. Warren. HiLog as a Platform for Database Languages (or why predicate calculus is not enough). In D. Stemple R. Hull, R. Morrison, ed., Proc. Int. Workshop on DB Programming Languages, pages 315\u2013329. Kaufmann, 1989."},{"key":"25_CR19","series-title":"LNCS","volume-title":"On Certification of Specifications for TROLL light Objects","author":"S Conrad","year":"1994","unstructured":"S. Conrad. On Certification of Specifications for TROLL light Objects. In F. Orejas, ed., Proc. 9th Workshop on Abstract Data Types - 4th Compass Workshop (WADT\/Compass\u201992. Springer, LNCS, 1994."},{"issue":"1","key":"25_CR20","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/69.50908","volume":"2","author":"O Deux","year":"1990","unstructured":"O. Deux. The Story of O2. IEEE Transaction on Knowledge and Data Engineering, 2(1):91\u2013108,1990.","journal-title":"IEEE Transaction on Knowledge and Data Engineering"},{"key":"25_CR21","volume-title":"ACT ONE: An Algebraic Specification Language with Two Levels of Semantics","author":"H Ehrig","year":"1983","unstructured":"H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technical Report 83\u201303, Technische Universit\u00e4t Berlin, 1983."},{"issue":"2","key":"25_CR22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(92)90008-Y","volume":"9","author":"G Engels","year":"1992","unstructured":"G. Engels, M. Gogolla, U. Hohenstein, K. H\u00fclsmann, P. L\u00f6hr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, North-Holland, 9(2): 157\u2013204, 1992.","journal-title":"Data & Knowledge Engineering, North-Holland"},{"key":"25_CR23","series-title":"LNCS","first-page":"203","volume-title":"A Categorial Theory of Objects as Observed Processes","author":"H-D Ehrich","year":"1990","unstructured":"H.-D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J.W. deBakker, W.P. deRoever, and G. Rozenberg, eds., Proc. REX\/FOOL Workshop, pages 203\u2013228, Noordwijkerhood (NL), 1990. LNCS 489, Springer, Berlin."},{"key":"25_CR24","volume-title":"A First Introduction to PLUSS","author":"M-C Gaudel","year":"1984","unstructured":"M.-C. Gaudel. A First Introduction to PLUSS. Technical Report, Universit\u00e9 de Paris-Sud, Orsay, 1984."},{"key":"25_CR25","series-title":"LNCS","first-page":"17","volume-title":"Sketching Concepts and Computational Model of TROLL light","author":"M Gogolla","year":"1993","unstructured":"M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, ed., Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO\u201993), pages 17\u201332. Springer, Berlin, LNCS 722,1993."},{"issue":"3","key":"25_CR26","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1145\/111197.111200","volume":"16","author":"M Gogolla","year":"1991","unstructured":"M. Gogolla and U. Hohenstein. Towards a Semantic View of an Extended Entity- Relationship Model. ACM Trans, on Database Systems, 16(3):369\u2013416, 1991.","journal-title":"ACM Trans, on Database Systems"},{"key":"25_CR27","volume-title":"Introducing OBJ3","author":"JA Goguen","year":"1988","unstructured":"J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRI-CSL-88\u20139, SRI International, 1988."},{"key":"25_CR28","first-page":"183","volume-title":"Compositional Description of Object Communities with TROLL light","author":"R Herzig","year":"1994","unstructured":"R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, ed., Proc. Basque Int. Workshop on Information Technology (BIWIT94): Information Systems Design and Hypermedia, pages 183\u2013194. C\u00e9padu\u00e8s-\u00c9ditions, Toulouse, 1994."},{"key":"25_CR29","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-51171-7_33","volume-title":"A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations","author":"A Heuer","year":"1989","unstructured":"A. Heuer. A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations. In S. Abiteboul, P.C. Fischer, and H.-J. Schek, eds., Proc. Nested Relations and Complex Objects in Databases, pages 297\u2013312. Springer, LNCS 361, 1989."},{"issue":"3","key":"25_CR30","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/319587.319588","volume":"6","author":"M Hammer","year":"1981","unstructured":"M. Hammer and D. McLeod. Database Description with SDM: A Semantic Database Model. ACM Trans, on Database Systems, 6(3):351\u2013386,1981.","journal-title":"ACM Trans, on Database Systems"},{"key":"25_CR31","series-title":"LNCS","first-page":"14","volume-title":"Math. Fundamentals of Database Systems MFDBS","author":"A Heuer","year":"1991","unstructured":"A. Heuer and P. Sander. Classifying Object-Oriented Query Results in a Class\/Type Lattice. In B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, eds., Math. Fundamentals of Database Systems MFDBS, pages 14\u201328. Springer, LNCS 495, 1991."},{"key":"25_CR32","first-page":"91","volume-title":"Informatik-Bericht","author":"R Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91\u201304, TU Braunschweig, 1991."},{"key":"25_CR33","first-page":"134","volume-title":"F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme","author":"M Kifer","year":"1989","unstructured":"M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. In ACM SIGMOD Conf. on Management of Data, pages 134\u2013146,1989."},{"key":"25_CR34","volume-title":"Informatik-Manuskript 3\/1990","author":"M Kifer","year":"1990","unstructured":"M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame- Based Languages. Informatik-Manuskript 3\/1990, University of Mannheim, 1990."},{"issue":"1","key":"25_CR35","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/0022-0000(90)90033-H","volume":"41","author":"G Kuper","year":"1990","unstructured":"G. Kuper. Logic Programming with Sets. Journal of Computer and System Sciences, 41(1):44\u201364,1990.","journal-title":"Journal of Computer and System Sciences"},{"key":"25_CR36","first-page":"6","volume-title":"A Data Modeling Methodology for the Design and Implementation of Information Systems","author":"P Lyngbaek","year":"1986","unstructured":"P. Lyngbaek and W. Kent. A Data Modeling Methodology for the Design and Implementation of Information Systems. In K.R. Dittrich and U. Dayal, eds., Proc. of the Int. Workshop on Object-Oriented Database Systems (California), pages 6\u201317, 1986."},{"key":"25_CR37","first-page":"184","volume-title":"Extending Logic Programming","author":"E Laenens","year":"1990","unstructured":"E. Laenens, D. Sacca, and D. Vermeir. Extending Logic Programming. In ACM SIGMOD Conf. on Management of Data, pages 184\u2013193,1990."},{"issue":"2","key":"25_CR38","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E Laenens","year":"1990","unstructured":"E. Laenens and D. Vermeir. A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation, 1(2): 159\u2013185,1990.","journal-title":"Journal of Logic and Computation"},{"key":"25_CR39","series-title":"LNCS","volume-title":"Math. Fundamentals of Database Systems MFDBS, pages 59-73","author":"E Laenens","year":"1991","unstructured":"E. Laenens and D. Vermeir. On the Relationship between Well-Founded and Stable Partial Models. In B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, eds., Math. Fundamentals of Database Systems MFDBS, pages 59\u201373. Springer, LNCS 495,1991."},{"key":"25_CR40","volume-title":"A Logical Language for Data and Knowledge Bases","author":"SA Naqvi","year":"1989","unstructured":"S.A. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989."},{"key":"25_CR41","first-page":"278","volume-title":"Designing a Generalized NF2 Model with an SQL-Type Language Interface","author":"P Pistor","year":"1986","unstructured":"P. Pistor and F. Andersen. Designing a Generalized NF2 Model with an SQL-Type Language Interface. In W. Chen, G. Gardarin, and S. Ohsuga, eds., Int. Conf. on Very Large Data Bases VLDB, pages 278\u2013285. Kaufmann, 1986."},{"key":"25_CR42","first-page":"361","volume-title":"Logic and Computer Science","author":"LC Paulson","year":"1990","unstructured":"L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, ed., Logic and Computer Science, pages 361\u2013385. Academic Press, 1990."},{"issue":"2","key":"25_CR43","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H-J Schek","year":"1986","unstructured":"H.-J. Schek and M.H. Scholl. The Relational Model with Relation-Valued Attributes. Information Systems, 11(2): 137\u2013147,1986.","journal-title":"Information Systems"},{"key":"25_CR44","first-page":"193","volume-title":"A Logic Approach for Supporting Queries in Object Oriented Databases","author":"F Staes","year":"1991","unstructured":"F. Staes, L. Tarantino, and B. Verdonk. A Logic Approach for Supporting Queries in Object Oriented Databases. In F. Van Assche, B. Moulins, and C. Rolland, eds., Proc. IFIP Working Conf on the Object-Oriented Approach in Information Systems, pages 193\u2013208. North-Holland, 1991."},{"key":"25_CR45","first-page":"210","volume-title":"Supporting User Interaction with OODB\u2019s: A Declarative Approach","author":"F Staes","year":"1991","unstructured":"F. Staes, L. Tarantino, B. Verdonk, and D. Vermeir. Supporting User Interaction with OODB\u2019s: A Declarative Approach. In D. Karagiannis, ed., Proc. Int. Conf. on Database and Expert System Applications (DEXA\u201991), pages 210\u2013215. Springer, 1991."},{"doi-asserted-by":"crossref","unstructured":"J.D. Ullman. A Comparison of Deductive and Object-Oriented Database Systems. In C. Delobel, M. Kifer, and Y. Masunaga, eds., Deductive and Object-Oriented Databases (DOOD\u201991), pages 263\u2013277. Springer, LNCS 566,1991.","key":"25_CR46","DOI":"10.1007\/3-540-55015-1_14"},{"key":"25_CR47","first-page":"463","volume-title":"Towards Reliable Information Systems: The KORSO Approach","author":"N Vlachantonis","year":"1993","unstructured":"N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart, and C. Cauvet, eds., Proc. 5th Int. Conf. on Advanced Information Systems Engineering (CAiSE\u201993), pages 463\u2013482. Springer, Berlin, LNCS 685, 1993."},{"key":"25_CR48","first-page":"7","volume-title":"Object Identity and Inheritance in Deductive Databases -\u2014 an Evolutionary Approach","author":"C Zaniolo","year":"1990","unstructured":"C. Zaniolo. Object Identity and Inheritance in Deductive Databases -\u2014 an Evolutionary Approach. In W. Kim, J.-M. Nicolas, and S. Nishio, eds., Proc. Int. Conf on Deductive and Object-Oriented Databases (DOOD\u201989), pages 7\u201324. North-Holland, 1990."}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:22:16Z","timestamp":1605658936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_25","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}