{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:40:53Z","timestamp":1765485653822},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,11,24]],"date-time":"2012-11-24T00:00:00Z","timestamp":1353715200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00778-012-0299-1","type":"journal-article","created":{"date-parts":[[2012,11,23]],"date-time":"2012-11-23T08:38:14Z","timestamp":1353659894000},"page":"471-493","source":"Crossref","is-referenced-by-count":34,"title":["Extending the power of datalog recursion"],"prefix":"10.1007","volume":"22","author":[{"given":"Mirjana","family":"Mazuran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edoardo","family":"Serra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Zaniolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,24]]},"reference":[{"key":"299_CR1","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.M.: Datalog redux: experience and conjecture. In: PODS, pp. 1\u20132 (2010)","DOI":"10.1145\/1807085.1807087"},{"key":"299_CR2","doi-asserted-by":"crossref","unstructured":"de Moor, O., Gottlob, G., Furche, T., Sellers, A.J.: Datalog Reloaded-First International Workshop, Datalog 2010, Oxford, UK, 16\u201319 March 2010, Springer 2011","DOI":"10.1007\/978-3-642-24206-9"},{"key":"299_CR3","doi-asserted-by":"crossref","unstructured":"Huang, S.S., Green, T.J., Loo, B.T.: Datalog and emerging applications: an interactive tutorial. In: SIGMOD Conference, pp. 1213\u20131216 (2011)","DOI":"10.1145\/1989323.1989456"},{"issue":"11","key":"299_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"BT Loo","year":"2009","unstructured":"Loo, B.T., Condie, T., Garofalakis, M.N., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. Commun. ACM 52(11), 87\u201395 (2009)","journal-title":"Commun. ACM"},{"key":"299_CR5","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: rewriting and optimization. In: ICDE, pp. 2\u201313 (2011)","DOI":"10.1109\/ICDE.2011.5767965"},{"key":"299_CR6","doi-asserted-by":"crossref","unstructured":"Afrati, F.N., Borkar, V.R., Carey, M.J., Polyzotis, N., Ullman, J.D.: Map-reduce extensions and recursive queries. In EDBT, pp. 1\u20138 (2011)","DOI":"10.1145\/1951365.1951367"},{"key":"299_CR7","doi-asserted-by":"crossref","unstructured":"Zaniolo, C.: Logical foundations of continuous query languages for data streams. Datalog 2012. pp. 177\u2013189 (2012)","DOI":"10.1007\/978-3-642-32925-8_18"},{"issue":"1","key":"299_CR8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1006\/jcss.1997.1453","volume":"54","author":"KA Ross","year":"1997","unstructured":"Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive database. J. Comput. Syst. Sci. 54(1), 79\u201397 (1997)","journal-title":"J. Comput. Syst. Sci."},{"key":"299_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"299_CR10","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: Foundations of aggregation in deductive databases. In: DOOD, pp. 13\u201334 (1993)","DOI":"10.1007\/3-540-57530-8_2"},{"key":"299_CR11","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.C.: Elements of Relational Database Theory. Technical report, Providence, RI (1989)","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"299_CR12","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Inc., New York (1988)"},{"key":"299_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. MIT Press, London, pp. 1070\u20131080 (1988)"},{"issue":"3","key":"299_CR14","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"Allen Van Gelder","year":"1991","unstructured":"Van Gelder, Allen, Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 619\u2013649 (1991)","journal-title":"J. ACM"},{"key":"299_CR15","unstructured":"Zaniolo, C., Faloutsos, S.C.S.C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufmann (1997)"},{"key":"299_CR16","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Imielinski, T.: Temporal deductive databases and infinite objects. In: PODS, pp. 61\u201373 (1988)","DOI":"10.1145\/308386.308416"},{"issue":"3","key":"299_CR17","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/s11192-010-0193-9","volume":"85","author":"JE Hirsch","year":"2010","unstructured":"Hirsch, J.E.: An index to quantify an individual\u2019s scientific research output that takes into account the effect of multiple coauthorship. Scientometrics 85(3), 741\u2013754 (2010)","journal-title":"Scientometrics"},{"key":"299_CR18","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"299_CR19","unstructured":"Mumick, I.S., Hamid, Pirahesh, H., Ramakrishnan, R.: The magic of duplicates and aggregates, In: VLDB, pp. 264\u2013277 (1990)"},{"key":"299_CR20","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/0890-5401(91)90059-B","volume":"90","author":"PG Kolaitis","year":"1991","unstructured":"Kolaitis, P.G.: The expressive power of stratified logic programs. Inf. Comput. 90, 50\u201366 (1991)","journal-title":"Inf. Comput."},{"key":"299_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18170-9_158","volume-title":"Skolem Normal Forms Concerning the Least Fixpoint","author":"E Dahlhaus","year":"1987","unstructured":"Dahlhaus, E.: Skolem Normal Forms Concerning the Least Fixpoint. Springer, London (1987)"},{"key":"299_CR22","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF01536403","volume":"15","author":"IS Mumick","year":"1995","unstructured":"Mumick, I.S., Shmueli, O.: How expressive is stratified aggregation? Ann. Math. Artif. Intell. 15, 407\u2013435 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"299_CR23","unstructured":"Mazuran, M., Serra, E., Zaniolo, C.: Graph Languages in $$\\text{ Datalog}^{FS}$$ : From Abstract Semantics to Efficient Implementation. Technical report, UCLA (2011)"},{"issue":"1","key":"299_CR24","first-page":"61","volume":"3","author":"F Arni","year":"2003","unstructured":"Arni, F., Ong, K.L., Tsur, S., Wang, H., Zaniolo, C.: The deductive database system ldl++. TPLP 3(1), 61\u201394 (2003)","journal-title":"TPLP"},{"key":"299_CR25","unstructured":"Zaniolo, C., Ceri, S., Faloutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufmann, Los Altos (1997)"},{"key":"299_CR26","doi-asserted-by":"crossref","unstructured":"Angles, R., Guti\u00e9rrez, C.: Survey of graph database models. ACM Comput. Surv. 40(1) (2008)","DOI":"10.1145\/1322432.1322433"},{"key":"299_CR27","doi-asserted-by":"crossref","unstructured":"Cruz, I.F., Mendelzon, A.O., Wood P.T. A graphical query language supporting recursion. In: SIGMOD Conference, pp. 323\u2013330 (1987)","DOI":"10.1145\/38714.38749"},{"key":"299_CR28","doi-asserted-by":"crossref","unstructured":"Consens, M.P., Mendelzon, A.O. : Graphlog: a visual formalism for real life recursion. In: PODS, pp. 404\u2013416 (1990)","DOI":"10.1145\/298514.298591"},{"issue":"3","key":"299_CR29","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1109\/69.390249","volume":"7","author":"J Paredaens","year":"1995","unstructured":"Paredaens, J., Peelman, P., Tanca, L.: G-log: a graph-based query language. IEEE Trans. Knowl. Data Eng. 7(3), 436\u2013453 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"299_CR30","doi-asserted-by":"crossref","unstructured":"Jackson, M.O., Yariv, L.: Diffusion on Social Networks. Economie Publique (2005)","DOI":"10.4000\/economiepublique.1721"},{"key":"299_CR31","unstructured":"Shakarian, P., Subrahmanian, V.S., Sapino, M.L.: Using generalized annotated programs to solve social network optimization problems. In: ICLP (Technical Communications), pp. 182\u2013191 (2010)"},{"key":"299_CR32","volume-title":"Database Management Systems","author":"R Ramakrishnan","year":"1998","unstructured":"Ramakrishnan, R., Gehrke, J.: Database Management Systems. WCB\/McGraw-Hill, New York (1998)"},{"key":"299_CR33","volume-title":"A First Course in Database Systems","author":"JD Ullman","year":"1997","unstructured":"Ullman, J.D., Widom, J.: A First Course in Database Systems. Prentice-Hall, Prentice (1997)"},{"key":"299_CR34","doi-asserted-by":"crossref","unstructured":"Zaniolo, C., Arni, N., Ong, K.: Negation and aggregates in recursive rules: the ldl++ approach. In: DOOD, pp. 204\u2013221 (1993)","DOI":"10.1007\/3-540-57530-8_13"},{"key":"299_CR35","doi-asserted-by":"crossref","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On active deductive databases: the statelog approach. In: Transactions and Change in Logic Databases, pp. 69\u2013106 (1998)","DOI":"10.1007\/BFb0055496"},{"key":"299_CR36","doi-asserted-by":"crossref","unstructured":"Ganguly, S., Greco, S., Zaniolo, C.: Minimum and maximum predicates in logic programming. In: PODS, pp. 154\u2013163 (1991)","DOI":"10.1145\/113413.113427"},{"key":"299_CR37","doi-asserted-by":"crossref","unstructured":"Giannotti, F., Pedreschi, D., Sacc\u00e0, D., Zaniolo, C.: Non-determinism in deductive databases. In: DOOD, pp. 129\u2013146 (1991)","DOI":"10.1007\/3-540-55015-1_7"},{"issue":"4","key":"299_CR38","first-page":"381","volume":"1","author":"S Greco","year":"2001","unstructured":"Greco, S., Zaniolo, C.: Greedy algorithms in datalog. TPLP 1(4), 381\u2013407 (2001)","journal-title":"TPLP"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-012-0299-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-012-0299-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-012-0299-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T01:08:52Z","timestamp":1643677732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-012-0299-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,24]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["299"],"URL":"https:\/\/doi.org\/10.1007\/s00778-012-0299-1","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11,24]]}}}