{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T14:58:15Z","timestamp":1710255495879},"reference-count":39,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,8,1]],"date-time":"1993-08-01T00:00:00Z","timestamp":744163200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7290,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1993,8]]},"DOI":"10.1016\/0022-0000(93)90022-o","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T12:01:00Z","timestamp":1070539260000},"page":"121-156","source":"Crossref","is-referenced-by-count":21,"title":["Algebraic and calculus query languages for recursively typed complex objects"],"prefix":"10.1016","volume":"47","author":[{"given":"Richard","family":"Hull","sequence":"first","affiliation":[]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(93)90022-O_BIB1","article-title":"On the Power of Languages for the Manipulation of Complex Objects","author":"Abiteboul","year":"1988"},{"issue":"No. 1","key":"10.1016\/0022-0000(93)90022-O_BIB2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/103140.103141","article-title":"A rule-based language with functions and sets","volume":"16","author":"Abiteboul","year":"1991","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0022-0000(93)90022-O_BIB3","first-page":"308","article-title":"Reduction of the relational model with infinite domain to the case of finite domains","volume":"286","author":"Aylamazyan","year":"1986"},{"key":"10.1016\/0022-0000(93)90022-O_BIB4","article-title":"Transaction Languages for Database Update and Specification","author":"Abiteboul","year":"1987"},{"key":"10.1016\/0022-0000(93)90022-O_BIB5_1","article-title":"Datalog Extensions for Data base Queries and Updates","author":"Abiteboul","year":"1988"},{"issue":"No. 1","key":"10.1016\/0022-0000(93)90022-O_BIB5_2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"Abiteboul","year":"1991","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(93)90022-O_BIB6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-0000(90)90036-K","article-title":"Procedural languages for database queries and updates","volume":"41","author":"Abiteboul","year":"1990","journal-title":"J. Comp. System Sci."},{"key":"10.1016\/0022-0000(93)90022-O_BIB7","series-title":"Proc. ACM SIGACT Symp. on the Theory of Computation","first-page":"209","article-title":"Generic computation and its complexity","author":"Abiteboul","year":"1991"},{"key":"10.1016\/0022-0000(93)90022-O_BIB8","series-title":"Proc. Int. Conf. on Very Large Data Bases","first-page":"97","article-title":"FAD, a powerful and simple database language","author":"Bancilhon","year":"1987"},{"issue":"No. 2","key":"10.1016\/0022-0000(93)90022-O_BIB9","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1016\/0022-0000(89)90005-6","article-title":"A calculus for complex objects","volume":"38","author":"Bancilhon","year":"1989","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(93)90022-O_BIB10","series-title":"Proc. 2nd Intl. Conf. on Database Theory","first-page":"144","article-title":"Hypothetical datalog: Complexity and expressibility","volume":"Vol. 326","author":"Bonner","year":"1988"},{"issue":"No. 2","key":"10.1016\/0022-0000(93)90022-O_BIB11","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","article-title":"Computable queries for relational data bases","volume":"21","author":"Chandra","year":"1980","journal-title":"J. Comput. System Sci."},{"issue":"No. 1","key":"10.1016\/0022-0000(93)90022-O_BIB12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","article-title":"Structure and complexity of relational queries","volume":"25","author":"Chandra","year":"1982","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(93)90022-O_BIB13","series-title":"Proc. ACM SIGACT Symp. on the Theory of Computing","first-page":"77","article-title":"Optimal implementation of conjunctive queries in relational data bases","author":"Chandra","year":"1977"},{"key":"10.1016\/0022-0000(93)90022-O_BIB14","series-title":"Proc. ACM SIGMOD Int. Conf. on the Management of Data","article-title":"Making Smalltalk a database system","author":"Copeland","year":"1984"},{"issue":"No. 6","key":"10.1016\/0022-0000(93)90022-O_BIB15","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0022-0000(93)90022-O_BIB16","series-title":"Proc. ACM SIGMOD Int. Conf. on Management of Data","article-title":"The powerset algebra as a result of adding programming constructs to the nested relational algebra","author":"Gyssens","year":"1988"},{"issue":"No. 3","key":"10.1016\/0022-0000(93)90022-O_BIB17","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic data modeling: Survey, applications, and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0022-0000(93)90022-O_BIB18_1","doi-asserted-by":"crossref","DOI":"10.1145\/308386.308409","article-title":"On the Expressive Power of Database Queries with Intermediate Types","author":"Hull","year":"1988"},{"issue":"No. 1","key":"10.1016\/0022-0000(93)90022-O_BIB18_2","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0022-0000(91)90036-5","volume":"43","author":"Hull","year":"1991","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(93)90022-O_BIB19","article-title":"Domain Independence and the Relational Calculus","author":"Hull","year":"1989"},{"key":"10.1016\/0022-0000(93)90022-O_BIB20","article-title":"Untyped Sets in Database Query Languages","author":"Hull","year":"1989"},{"key":"10.1016\/0022-0000(93)90022-O_BIB21","series-title":"Deductive query languages for recursively typed complex objects","author":"Hull","year":"1993"},{"key":"10.1016\/0022-0000(93)90022-O_BIB22","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/0022-0000(93)90022-O_BIB23","series-title":"Databases","first-page":"193","article-title":"A survey of theoretical research on typed complex database objects","author":"Hull","year":"1987"},{"key":"10.1016\/0022-0000(93)90022-O_BIB24","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1145\/322307.322310","article-title":"On database logic","volume":"29","author":"Jacobs","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(93)90022-O_BIB25_1","series-title":"The expressive power of stratified logic programs","author":"Kolaitis","year":"1987"},{"key":"10.1016\/0022-0000(93)90022-O_BIB25_2","series-title":"Information and Computation","author":"Kolaitis","year":"1991"},{"key":"10.1016\/0022-0000(93)90022-O_BIB26","doi-asserted-by":"crossref","unstructured":"G. M. Kuper, Logic programming with sets, in \u201cProc. ACM Symp. on Principles of Database Systems, pp. 1987,\u201d pp. 11\u201320.","DOI":"10.1145\/28659.28661"},{"key":"10.1016\/0022-0000(93)90022-O_BIB27","series-title":"Proc. ACM Symp. on Principles of Database Systems","first-page":"86","article-title":"A new approach to database logic","author":"Kuper","year":"1984"},{"key":"10.1016\/0022-0000(93)90022-O_BIB28","series-title":"ICDT'88\u2014Proc. 2nd Int. Conf. on Database Theory","first-page":"267","article-title":"On the complexity of queries in the logical data model","volume":"Vol. 326","author":"Kuper","year":"1988"},{"key":"10.1016\/0022-0000(93)90022-O_BIB29","series-title":"Proc. Conf. on OOPSLA","first-page":"472","article-title":"Development of an object-oriented DBMS","author":"Maier","year":"1986"},{"key":"10.1016\/0022-0000(93)90022-O_BIB30","series-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi","year":"1989"},{"key":"10.1016\/0022-0000(93)90022-O_BIB31","series-title":"Proc. ACM Symp. on Principles of Database Systems","article-title":"Possibilities and limitations of using flat operators in nested algebra expressions","author":"Paredaens","year":"1988"},{"issue":"No. 4","key":"10.1016\/0022-0000(93)90022-O_BIB32","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1145\/49346.49347","article-title":"Extended algebra and calculus for nested relational databases","volume":"13","author":"Roth","year":"1988","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0022-0000(93)90022-O_BIB33","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1987"},{"key":"10.1016\/0022-0000(93)90022-O_BIB34","series-title":"Proc. ACM SIGMOD Int. Conf. on Management of Data","first-page":"54","article-title":"Idlog: Extending the expressive power of deductive database languages","author":"Sheng","year":"1990"},{"key":"10.1016\/0022-0000(93)90022-O_BIB35","series-title":"Proc. ACM SIGACT Symp. on the Theory of Computing","first-page":"137","article-title":"The complexity of relational query languages","author":"Vardi","year":"1982"},{"key":"10.1016\/0022-0000(93)90022-O_BIB36","author":"Vardi","year":"1983","journal-title":"Zentralblatt f\u00fcr Mathematik"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200009390022O?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200009390022O?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:57:59Z","timestamp":1550325479000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002200009390022O"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,8]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,8]]}},"alternative-id":["002200009390022O"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(93)90022-o","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1993,8]]}}}