{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:37:15Z","timestamp":1703187435944},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1986,11,1]],"date-time":"1986-11-01T00:00:00Z","timestamp":531187200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[1986,11]]},"DOI":"10.1007\/bf01840452","type":"journal-article","created":{"date-parts":[[2005,7,13]],"date-time":"2005-07-13T21:29:13Z","timestamp":1121290153000},"page":"361-385","source":"Crossref","is-referenced-by-count":25,"title":["A time bound on the materialization of some recursively defined views"],"prefix":"10.1007","volume":"1","author":[{"given":"Yannis E.","family":"Ioannidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01840452_CR1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1137\/0208017","volume":"8","author":"A. Aho","year":"1979","unstructured":"A. Aho, Y. Sagiv, and J. Ullman, Equivalences among relational expressions.SIAM J. Comput.,8 (1979), 218\u2013246.","journal-title":"SIAM J. Comput."},{"key":"BF01840452_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03521-2","volume-title":"Graph Theory with Applications","author":"J. A. Bondy","year":"1976","unstructured":"J. A. Bondy and U. S. R. Murty,Graph Theory with Applications. North Holland: Amsterdam, 1976."},{"key":"BF01840452_CR3","doi-asserted-by":"crossref","unstructured":"A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational databases.Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, Boulder, CO, 1976, pp. 77\u201390.","DOI":"10.1145\/800105.803397"},{"key":"BF01840452_CR4","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-1-4615-8297-7_9","volume-title":"Advances in Data Base Theory","author":"C. L. Chang","year":"1981","unstructured":"C. L. Chang, On evaluation of queries containing derived relations in a relational data base,Advances in Data Base Theory, vol. 1 (H. Gallaire, J. Minker, and J. M. Nicolas, eds.), Plenum Press, New York, 1981, pp. 235\u2013260."},{"key":"BF01840452_CR5","volume-title":"The Algebraic Theory of Semigroups","author":"A. H. Clifford","year":"1961","unstructured":"A. H. Clifford and G. B. Preston,The Algebraic Theory of Semigroups. American Mathematical Society: Providence, RI, 1961."},{"key":"BF01840452_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"E. F. Codd, A relational model of data for large shared data banks.Comm. ACM,13 (1970), 377\u2013387.","journal-title":"Comm. ACM"},{"key":"BF01840452_CR7","doi-asserted-by":"crossref","unstructured":"S. Cosmadakis and P. Kanellakis, Parallel evaluation of recursive rule queries.Proceedings of the Fifth ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, Boston, MA, 1986, pp. 280\u2013293.","DOI":"10.1145\/6012.15421"},{"key":"BF01840452_CR8","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"H. B. Enderton,A Mathematical Introduction to Logic. Academic Press: New York, 1972."},{"key":"BF01840452_CR9","unstructured":"H. Gaifman,NAIL communication, February 1986."},{"key":"BF01840452_CR10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J. M. Nicolas, Logic and databases: a deductive approach.ACM Comput. Surveys,16 (1984), 153\u2013185.","journal-title":"ACM Comput. Surveys"},{"key":"BF01840452_CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2422.2423","volume":"31","author":"L. Henschen","year":"1984","unstructured":"L. Henschen and S. Naqvi, On compiling queries in recursive first-order databases.J. Assoc. Comput. Mach.,31 (1984), 47\u201385.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01840452_CR12","volume-title":"Bounded recursion in deductive databases Memorandum No. UCB\/ERL M85\/6","author":"Y. E. Ioannidis","year":"1985","unstructured":"Y. E. Ioannidis, Bounded recursion in deductive databases Memorandum No. UCB\/ERL M85\/6, University of California, Berkeley, 1985."},{"key":"BF01840452_CR13","volume-title":"Elements of the Theory of Computation","author":"H. Lewis","year":"1981","unstructured":"H. Lewis and C. Papadimitriou,Elements of the Theory of Computation. Prentice-Hall: Englewood Cliffs, NJ, 1981."},{"key":"BF01840452_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0306-4379(83)90024-8","volume":"8","author":"J. Minker","year":"1983","unstructured":"J. Minker and J. M. Nicolas, On recursive axioms in deductive databases.Inform. Systems,8 (1983), 1\u201313.","journal-title":"Inform. Systems"},{"key":"BF01840452_CR15","doi-asserted-by":"crossref","unstructured":"J. Naughton, Data independent recursion in deductive databases.Proceedings of the Fifth ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, Boston, MA, 1986, pp. 267\u2013279.","DOI":"10.1145\/6012.15420"},{"key":"BF01840452_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4684-3384-5_6","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, Deductive question-answering on relational databases.Logic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press: New York, 1978, pp. 149\u2013177."},{"key":"BF01840452_CR17","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Y. Sagiv and M. Yannakakis, Equivalences among relational expressions with the union and difference operators.J. Assoc. Comput. Mach.,27 (1980), 633\u2013655.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01840452_CR18","doi-asserted-by":"crossref","unstructured":"Y. Sagiv, On computing restricted projections of representative instances.Proceedings of the Fourth ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, Boston, MA, 1985, pp. 171\u2013180.","DOI":"10.1145\/325405.325427"},{"key":"BF01840452_CR19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/320473.320476","volume":"1","author":"M. Stonebraker","year":"1976","unstructured":"M. Stonebraker, E. Wong, P. Kreps, and G. Held, The design and implementation of INGRES.ACM Trans. Database Systems,1 (1976), 189\u201322.","journal-title":"ACM Trans. Database Systems"},{"key":"BF01840452_CR20","unstructured":"L. Vieille, Recursive axioms in deductive databases: the query\/subquery approach.Proceedings of the First International Conference on Expert Database Systems, Charleston, SC, 1986, pp. 179\u2013193."}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01840452.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01840452\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01840452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T06:59:05Z","timestamp":1586329145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01840452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,11]]},"references-count":20,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1986,11]]}},"alternative-id":["BF01840452"],"URL":"https:\/\/doi.org\/10.1007\/bf01840452","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"value":"0178-4617","type":"print"},{"value":"1432-0541","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,11]]}}}