{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:09Z","timestamp":1725663549055},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540511717"},{"type":"electronic","value":"9783540461753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51171-7_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:48:01Z","timestamp":1330184881000},"page":"117-138","source":"Crossref","is-referenced-by-count":24,"title":["An introduction to the completeness of languages for complex objects and nested relations"],"prefix":"10.1007","author":[{"given":"S.","family":"Abiteboul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Beeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Gucht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"6_CR1","unstructured":"Abiteboul, S., and C. Beeri, \"On the power of languages for complex objects,\" Research report, INRIA and Hebrew University (April 1988)."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., and Bidoit, N., \"Non first normal form relations: an algebra allowing data restructuring\", JCSS (1986)","DOI":"10.1016\/0022-0000(86)90058-9"},{"key":"6_CR3","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":"6_CR4","doi-asserted-by":"crossref","unstructured":"Abiteboul S., and R. Hull, \"IFO: A formal semantic database model,\" TODS (1988).","DOI":"10.1145\/32204.32205"},{"key":"6_CR5","unstructured":"Abiteboul S., and R. Hull, \"Object restructuring in semantic database models,\" Proc.ICDT, Roma (1986), to appear, TCS."},{"key":"6_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":"6_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":"6_CR8","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu, A Transaction Language Complete for Database Update and Specification, proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems. (1987)","DOI":"10.1145\/28659.28688"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu, Procedural and Declarative Update Languages, proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems. (1988)","DOI":"10.1145\/308386.308448"},{"key":"6_CR10","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 von 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":"6_CR11","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., \"On the completeness of query languages,\" Proc. 7th Symp. on Mathematical Foundations of Computer Science, Zakopane, Poland (1978).","DOI":"10.1007\/3-540-08921-7_60"},{"key":"6_CR12","unstructured":"Bryce, D., and R. Hull, R., \"SNAP: a graphics based schema manager,\" vProc. International Conf. on Data Engineering, Los Angeles (1986)."},{"key":"6_CR13","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":"6_CR14","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)","DOI":"10.1145\/28659.28662"},{"key":"6_CR15","unstructured":"Bancilhon, F., P. Richard, and M. Scholl, \"Verso, a relational back end machine,\" Proc. Int'l Workshop on Database Machines, San Diego (1982)."},{"key":"6_CR16","volume-title":"Data Base Systems","author":"E.F. Codd","year":"1972","unstructured":"Codd, E.F., \"Relational completeness of database sublanguages,\" in Data Base Systems (R. Rustin, ed.) Prentice-hall, Englewood Cliffs, N.J. (1972)."},{"key":"6_CR17","unstructured":"Chen, L., \"Extension of datalog with aggregation functions,\" IV journess bases de Donnees Avancees (March 1988)."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Chamberlin, C. et al., \"SEQUEL2: A unified approach to data definition, manipulation, and control,\" IBM Journal of Research and Development (1976).","DOI":"10.1147\/rd.206.0560"},{"key":"6_CR19","first-page":"2","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"Chandra, A.K., and D.Harel, \"Computable queries for relational database systems,\" JCSS 21:2 (1980).","journal-title":"\"Computable queries for relational database systems,\" JCSS"},{"key":"6_CR20","unstructured":"Dalhaus E., and J. Makowski, \"Computable directory queries,\" manuscript, the Technion (August 1985)."},{"key":"6_CR21","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":"6_CR22","doi-asserted-by":"crossref","unstructured":"Fagin, R., \"Horn clauses and database dependencies,\" JACM 29:4 (Oct. 1982).","DOI":"10.1145\/322344.322347"},{"key":"6_CR23","unstructured":"Fischer, P., and S. Thomas, \"Operators for non-first-normal-form relations,\" Proc. 7th COMPSAC, Chicago,(Nov. 1983)."},{"key":"6_CR24","unstructured":"Gyssens, M., \"The extended nested relational algebra\", Techn. Rep. 87-11, University of Antwerp, 1987."},{"key":"6_CR25","unstructured":"Gyssens, M., and D. Van Gucht, \"The Powerest Operator as an Algebraic Tool for Understanding Least Fixpoint Semantics in the Context of Nested Relations\", Techn. Rep. 233, Indiana University, Bloomington, 1987."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Gyssens, M., and D. Van Gucht, \"The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra\", Proc. ACM-SIGMOD Conference on Management of Data, Chicago (1988).","DOI":"10.1145\/50202.50230"},{"key":"6_CR27","unstructured":"Hull, R., \"A Survey of Theoretical Research on Typed Complex Database Objects,\" manuscript, USC (1986)."},{"key":"6_CR28","unstructured":"Hardgrave, W.T., \"Ambiguity in processing Boolean queries on TDMS tree structures: A study of four different philosophies,\" T.R. University of Maryland (1978)."},{"key":"6_CR29","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":"6_CR30","first-page":"3","volume":"31","author":"R. Hull","year":"1984","unstructured":"Hull, R., and C. Yap, \"The format model: A theory of database organization,\" JACM 31:3 (July 1984).","journal-title":"JACM"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Jacobs, B., \"On database logic,\" JACM 29:2 (April 1982).","DOI":"10.1145\/322307.322310"},{"key":"6_CR32","unstructured":"Jacobs, B., and C. Walczak, \"A generalized Query-by-Example data manipulation language based on database logic,\" IEEE Trans. on Software Engineering (1883)."},{"key":"6_CR33","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":"6_CR34","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":"6_CR35","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., \"Logic Programming with Sets,\" Proc.6th PODS (1987)","DOI":"10.1145\/28659.28661"},{"key":"6_CR36","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":"6_CR37","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. on Management of Data (1985).","DOI":"10.1145\/318898.318915"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Lloyd, J., Foundations of logic programming, Springer Verlag (1984).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"6_CR39","unstructured":"Makinouchi, A., \"A consideration on normal form of not-necessarily normalized relations in the relational model,\" Proc. 3rd VLDB (Oct. 1977)."},{"key":"6_CR40","unstructured":"Naqvi, S.A., \"A Logic for Negation in Database Systems,\" Proc. Foundations of Deductive Databases and Logic Programming (1986)"},{"key":"6_CR41","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 attrributes and aggregate functions,\" TODS 12:4 (Dec. 1987).","journal-title":"TODS"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Paredaens, J., \"On the expressive power of relational algebra,\" Inf. Processing letters (1978)","DOI":"10.1016\/0020-0190(78)90055-8"},{"key":"6_CR43","unstructured":"Parent, C., and S. Sppacapietra, \"Un modele et une algebre pour les bases de donnees de type entite-relation,\" in technique et Science Informatique (1985)"},{"key":"6_CR44","unstructured":"Pauthe, P. \"EVER, un editeur de V-relations,\" These de Doctorat, Universite d'Orsay (1985)."},{"key":"6_CR45","unstructured":"Pistor, P., and F. Andersen, \"Principles for designing a generalized NFNF data model with an SQL-type language interface,\" T.R. IBM Heidelberg (1986)."},{"key":"6_CR46","volume-title":"SQL\/NF \u2014 A query langauge for \u2014 1NF relational databases","author":"M.A. Roth","year":"1986","unstructured":"Roth, M.A., Korth, H.F., and D. Batory, \"SQL\/NF \u2014 A query langauge for \u2014 1NF relational databases,\u2019 T.R., University of Texas, Austin (1986)."},{"key":"6_CR47","unstructured":"Roth, M.A., H.F. Korth, and A. Silberschatz, \"Extended algebra and calculus for \u2014 NF relational databases,\" manuscript, TR-84-36, Department of Computer Science, University of Texas at Austin, 1984, revised, 1985, to appear, TODS."},{"key":"6_CR48","volume-title":"The molecular relation data model","author":"R. Ramakrishnan","year":"1986","unstructured":"Ramakrishnan, R., and A. Silberschatz, \"The molecular relation data model\", T.R. University of Texas, Austin (1986)."},{"key":"6_CR49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/319540.319561","volume":"6","author":"D. Shipman","year":"1981","unstructured":"Shipman, D. \"The functional data model and the data language DAPLEX, TODS 6:1 (1981).","journal-title":"TODS"},{"key":"6_CR50","unstructured":"Schek, H.-J., and P. Pistor, \"Data structures for integrated database management and information retrieval system,\" Proc. Int'l Conf. on Very Large Data Bases, Mexico (1982)."},{"key":"6_CR51","first-page":"2","volume":"11","author":"H.-J Schek","year":"1986","unstructured":"Schek H.-J, and M. Scholl, \"An algebra for the relational model with relation-valued attributes,\" Information Systems. 11:2 (1986).","journal-title":"Information Systems"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Stonebraker, M., and L. Rowe, \"The design of POSTGRESS,\" Proc. ACM SIGMOD Int'l Conf. on Management of Data (1986).","DOI":"10.1145\/16894.16888"},{"key":"6_CR53","unstructured":"Ullman,J.D., Principles of database systems, Computer Science Press, 2nd ed. (1982)."},{"key":"6_CR54","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":"6_CR55","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., and R. Topor, \"Safety and correct translation of relational calculus queries,\" Proc. 6th PODS (1987).","DOI":"10.1145\/28659.28693"},{"key":"6_CR56","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., \"Negation as Failure Using Tight Derivations for General Logic Programs,\" In Foundations of deductive databases and logic programming, J. Minker (ed.), Morgan Kaufmann publishers (1988)","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"key":"6_CR57","doi-asserted-by":"crossref","unstructured":"Van Gucht, D., \"On the expressive power of the extended relational algebra for the nonnormalized relational model, Proc. 6th PODS (1987).","DOI":"10.1145\/28659.28692"},{"key":"6_CR58","unstructured":"Verso, J., \"VERSO: A database machine based on non 1NF relations,\" rapport de Recherche INRIA 523 (1986)."},{"key":"6_CR59","doi-asserted-by":"crossref","unstructured":"Zaniolo, C., \"The database language GEM,\" Proc. of ACM SIGMOD Int'l Conf. on Management of Data (1983).","DOI":"10.1145\/582192.582226"},{"key":"6_CR60","doi-asserted-by":"crossref","unstructured":"Zloof, M., \"Query by example: a database language,\" IBM Systems Journal (1977).","DOI":"10.1147\/sj.164.0324"}],"container-title":["Lecture Notes in Computer Science","Nested Relations and Complex Objects in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51171-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:20:14Z","timestamp":1605630014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51171-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540511717","9783540461753"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/3-540-51171-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}