{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:45Z","timestamp":1725663105159},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:20Z","timestamp":1330200980000},"page":"19-40","source":"Crossref","is-referenced-by-count":1,"title":["Data models and languages for databases"],"prefix":"10.1007","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","unstructured":"Abiteboul, S., and C. Beeri, \"On the power of languages for complex objects,\" Research Report, INRIA and Hebrew University (April 1988)."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., and Bidoit, N., \"Non first normal form relations: an algebra allowing data restructuring\", J. Comp. System Sci. (1986)","DOI":"10.1016\/0022-0000(86)90058-9"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul S., C. Beeri, D. Van Gucht, and M. Gyssens, \"An introduction to the completeness of languages for complex objects and nested relations,\" manuscript, (May 1988).","DOI":"10.1007\/3-540-51171-7_23"},{"key":"2_CR4","unstructured":"Abiteboul, S., and S. Grumbach, \"A logical approach to the manipulation of Complex Objects,\" Proc. EDBT (March 1988), Springer Verlag Lecture Notes in Computer Science 303."},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H. Ait-Kaci","year":"1986","unstructured":"Ait-Kaci, H., \"An algebraic semantics approach to the effective resolution of type equations,\" TCS 45 (1986), pp. 293\u2013351.","journal-title":"TCS"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Aho, A.V., J.D. Ullman, \"Universality of data retrieval languages,\" Proc. POPL (1979).","DOI":"10.1145\/567752.567763"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Apt, K., H. Blair, and A. Walker, \"Toward a Theory of Declarative Knowledge,\" In Foundations of deductive databases and logic programming, J. Minker (ed.), Morgan Kaufmann publishers (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J., \"Can programming be liberated from the Neuman style? A functional style of programming and its algebra of programs,\" 1977 Turing Award Lecture, CACM 21:8 (Aug. 1978).","journal-title":"CACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., \"Object-oriented database systems,\" Proc. 7th PODS (March 1988), pp. 152\u2013162.","DOI":"10.1145\/308386.308429"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., and R. Ramakrishnan, \"An amateur's introduction to recursive query processing strategies,\" Proc. ACM-SIGMOD Conf. (1986), Also in Foundations of Deductive Databases and Logic Programming (J. Minker, ed.) Morgan Kaufmann (1988).","DOI":"10.1145\/16856.16859"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., and S. Khoshafian, \"A calculus for complex objects, Proc. 4th PODS (March 1985).","DOI":"10.1145\/6012.15404"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Beeri, C.,S. Naqvi, R. Ramakrishnan, O. Shmueli, and S.Tsur, \"Sets and Negation in a Logic Database Language,\" Proc. 6th PODS (March 1987), pp. 21\u201337.","DOI":"10.1145\/28659.28662"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Beeri, C. and R. Ramakrishnan, \"On the power of magic,\" Proc. 6th PODS (March 1987).","DOI":"10.1145\/28659.28689"},{"issue":"6","key":"2_CR14","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F., \"A relational model for large shared data banks\", CACM 13:6 (1970), pp. 377\u2013387.","journal-title":"CACM"},{"key":"2_CR15","unstructured":"Carey, M, D. DeWitt, D. Frank, G. Graefe, J. Richardson, E. Shekita, and M. Muralikrishna, \"The architecture of the EXODUS extensible DBMS,\" Proc. of the Int'l Workshop on Object Oriented Database Systems Pacific Grove, Ca (1986)."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Chandra, A. K., \"Theory of database queries,\" Proc. 7th PODS (march 1988), pp. 1\u20139.","DOI":"10.1145\/308386.308396"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Chandra, A. K., and D. Harel, \"Structure and complexity of relational queries,\" J. Comp. System Sci 25:1 (Aug. 82), pp. 99\u2013128.","DOI":"10.1016\/0022-0000(82)90012-5"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"1","author":"A. K. Chandra","year":"1985","unstructured":"Chandra, A. K., and D. Harel, \"Horn clause queries and generalizations,\" J. Logic Programming 1:1 (1985), pp. 1\u201315.","journal-title":"J. Logic Programming"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Copeland, G. and D. Maier, \"Making Smalltalk a database system,\" Proc. ACM-SIGMOD Conf. (1984), pp. 316\u2013325.","DOI":"10.1145\/602259.602300"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Dadam, P. et al, \"A DBMS prototype to support extended NF2-relations: An integrated view on flat tables and hierarchies,\" Proc. ACM-SIGMOD Conf. (1986), pp. 376\u2013387.","DOI":"10.1145\/16894.16889"},{"key":"2_CR21","unstructured":"Dayal, U., \"Processing queries with quantifiers: A horticultural approach,\" Proc. 2nd PODS (1986)."},{"key":"2_CR22","unstructured":"Dayal, U., \"Of nests and trees: A unified approach to processing queries that contain nested subqueries, aggregates and quantifiers,\" Proc. 13th VLDB, Brighton, England (Sept 1987), pp. 197\u2013208."},{"key":"2_CR23","unstructured":"Dittrich, K. R., \"Object-oriented database systems: The notion and the issues,\" Proc. Int'l Workshop on Object-Oriented Database Systems, Pacific Grove, Ca (Sept 1986), pp. 2\u20136."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Di Paola, R.A., \"The recursive unsolvability of the decision problem for the class of definite formulas,\" JACM (April 1969).","DOI":"10.1145\/321510.321524"},{"key":"2_CR25","unstructured":"Enderton, H. B., A mathematical introduction to logic, Ch.4.4, Academic Press (1972)."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Fagin, R., \"Horn clauses and database dependencies,\" JACM 29:4 (Oct. 1982).","DOI":"10.1145\/322344.322347"},{"key":"2_CR27","unstructured":"Fischer, P., and S. Thomas, \"Operators for non-first-normal-form relations,\" Proc. 7th COMPSAC, Chicago, (Nov. 1983)."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Hull, R. and J. Su, \"On the expressive power of database queries with intermediate types,\" Proc. 7th PODS (March 1988).","DOI":"10.1145\/308386.308409"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Jacobs, B., \"On database logic,\" JACM 29:2 (April 1982).","DOI":"10.1145\/322307.322310"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Jaeschke, B., and H.-J. Schek, \"Remarks on the algebra of non first normal form relations,\" Proc. 1st PODS (March 1982).","DOI":"10.1145\/588111.588133"},{"key":"2_CR31","unstructured":"Kanellakis, P., personal communication (1987)."},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/322326.322332","volume":"29","author":"A. Klug","year":"1982","unstructured":"Klug, A., \"Equivalence of relational algebra and calculus query languages having aggregate functions,\" JACM 29:3 (July 1982).","journal-title":"JACM"},{"key":"2_CR33","unstructured":"Kemper, A., P. C. Lockemann, and M. Wallrath, \"An object-oriented database system for engineering applications,\" Proc. ACM-SIGMOD Conf. (1987), pp. 292\u2013310."},{"key":"2_CR34","unstructured":"Korth, H. F., and M. A Roth, \"Query languages for nested relational databases,\" TR-87-45, University of Texas at Austin (Dec. 1987)."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Kuper, G. M., \"The logical data model: A new approach to database logic,\" Ph.D thesis, Stanford University (Sept. 1985).","DOI":"10.21236\/ADA141130"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., \"Logic Programming with Sets,\" Proc. 6th PODS (1987)","DOI":"10.1145\/28659.28661"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Kuper, G. M., \"On the expressive power of Logic programming languages with sets,\" Proc. 7th PODS (March 1988), pp. 10\u201314.","DOI":"10.1145\/308386.308397"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., M.Y. Vardi, \"A new approach to database logic,\" Proc. 3rd PODS (1984)","DOI":"10.21236\/ADA141130"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., M.Y. Vardi, \"On the expressive power of the logical data model,\" Proc. ACM SIGMOD Int'l Conf. (1985).","DOI":"10.1145\/318898.318915"},{"key":"2_CR40","unstructured":"Lorie, R., and W. Plouffe, \"Complex objects and their use in design transactions,\" Proc. ACM-SIGMOD Conf., Engineering Design Applications, (May 1983), pp. 115\u2013122."},{"key":"2_CR41","unstructured":"Maier, D., \"Why database languages are a bad idea,\" Proc. Workshop on Database Programming Languages, Roscoff, France (Sept. 1987), pp. 334\u2013344."},{"key":"2_CR42","unstructured":"Maier, D., \"A logic for objects,\" manuscript, Oregon Graduate Center (Nov. 1987)."},{"key":"2_CR43","unstructured":"Makinouchi, A., \"A consideration on normal form of not-necessarily normalized relations in the relational model,\" Proc. 3rd VLDB (Oct. 1977)."},{"key":"2_CR44","unstructured":"Naqvi, S.A., \"A Logic for Negation in Database Systems,\" Proc. Foundations of Deductive Databases and Logic Programming (1986)"},{"key":"2_CR45","first-page":"4","volume":"12","author":"G Ozsoyoglu","year":"1987","unstructured":"Ozsoyoglu, G, Z.M. Ozsoyoglu, and V. Matos, \"Extending relational algebra and relational calculus with set-valued attributes and aggregate functions,\" TODS 12:4 (Dec. 1987).","journal-title":"\"Extending relational algebra and relational calculus with set-valued attributes and aggregate functions,\" TODS"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Paul, H.-B., H.-J. Schek, M. Scholl, G. Weilkum, and U. Deppisch, \"Architecture and implementation of the Darmstadt database Kernel System,\" Proc. ACM SIGMOD Conf. (1987).","DOI":"10.1145\/38713.38737"},{"issue":"1","key":"2_CR47","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0306-4379(87)90021-4","volume":"12","author":"M.A. Roth","year":"1987","unstructured":"Roth, M.A., Korth, H.F., and D. Batory, \"SQL\/NF \u2014 A query language for \u00ac1NF relational databases,\" Information systems 12:1 (1987), pp. 99\u2013114.","journal-title":"Information systems"},{"key":"2_CR48","unstructured":"Roth, M.A., H.F. Korth, and A. Silberschatz, \"Extended algebra and calculus for \u00acNF relational databases,\" manuscript, TR-84-36, Department of Computer Science, University of Texas at Austin, 1984, revised, 1985, to appear, TODS."},{"key":"2_CR49","unstructured":"Rowe, L., and M. Stonebraker, \"The POSTGRESS data model,\" Proc. 13th VLDB, Brighton, England (1987), pp. 83\u201396."},{"issue":"3","key":"2_CR50","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/27629.27630","volume":"12","author":"h. Rybinski","year":"1987","unstructured":"Rybinski, h., \"On first order languages,\" TODS12:3 (June 1987), pp. 325\u2013349.","journal-title":"TODS"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Sagiv, Y., \"Optimizing Datalog programs,\" Proc. 6th PODS (March 1987), pp. 349\u2013362, also in Foundations of deductive databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann (1988).","DOI":"10.1016\/B978-0-934613-40-8.50021-X"},{"key":"2_CR52","unstructured":"Stefik, M., and D. G. Bobrow, \"Object-oriented programming: Themes and variations,\" the AI Magazine (1986), pp. 40\u201362."},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"Schek H.-J, and M. Scholl, \"An algebra for the relational model with relation-valued attributes,\" Information Systems. 11:2 (1986).","DOI":"10.1016\/0306-4379(86)90003-7"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Stonebraker, M., and L. Rowe, \"The design of POSTGRESS,\" Proc. ACM SIGMOD Conf. (1986).","DOI":"10.1145\/16894.16888"},{"key":"2_CR55","unstructured":"Tsur, S. and Zaniolo, C., \"LDL: A logic-based data-language,\" Proc. 12th VLDB, Kyoto, Japan (1986)."},{"key":"2_CR56","unstructured":"Ullman, J.D., Principles of Database systems, Computer Science Press, 2nd ed. (1982)."},{"issue":"3","key":"2_CR57","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J. D. Ullman","year":"1985","unstructured":"Ullman, J. D., \"Implementation of logical query languages for databases,\" ACM TODS 10:3 (1985), pp. 289\u2013321.","journal-title":"ACM TODS"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Ullman, J. D., \"Database theory \u2014 past and future,\" 6th PODS (1987), pp. 1\u201310.","DOI":"10.1145\/28659.28660"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Vardi, M. Y., \"The decision problem for database dependencies,\" Inf. Proc. Letters (Oct. 1981).","DOI":"10.1016\/0020-0190(81)90025-9"},{"key":"2_CR60","first-page":"68061","volume":"497","author":"M. Y. Vardi","year":"1983","unstructured":"Vardi, M. Y., \"Review of [Ja],\" Zentralblatt fur Mathematic, 497.68061 (1983).","journal-title":"\"Review of [Ja],\" Zentralblatt fur Mathematic"},{"key":"2_CR61","unstructured":"Verso, J., \"VERSO: A database machine based on non 1NF relations,\" rapport de Recherche INRIA 523 (1986)."},{"key":"2_CR62","unstructured":"Wegner, P., \"The object-oriented classification paradigm,\" in Research Directions in Object-Oriented Programming (B. Shriver, P. Wegner, eds.), The MIT Press (1987), pp. 479\u2013560."}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:30Z","timestamp":1605647850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}