{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:02Z","timestamp":1747548602157,"version":"3.40.5"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1023\/a:1018994409271","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"29-57","source":"Crossref","is-referenced-by-count":0,"title":["Inference of monotonicity constraints in Datalog programs"],"prefix":"10.1007","volume":"26","author":[{"given":"Alexander","family":"Brodsky","sequence":"first","affiliation":[]},{"given":"Yehoshua","family":"Sagiv","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325532_CR1","unstructured":"F. Afrati, C.H. Papadimitriou, G. Papageorgiou, A. Roussou, Y. Sagiv and J.D. Ullman, On the convergence of query evaluation, to appear in J. Comput. System Sci."},{"key":"325532_CR2","doi-asserted-by":"crossref","unstructured":"A. Brodsky and Y. Sagiv, Inference of monotonicity constraints in Datalog programs, in: Proc. 10th ACM SIGACT-SIGART-SIGMOD Symposium on Principles of Database Systems, Philadelphia, PA (1989).","DOI":"10.1145\/73721.73741"},{"key":"325532_CR3","unstructured":"A. Brodsky and Y. Sagiv, On termination of Datalog programs, in: Proc. 19th Internation Conference on Deductive and Object-Oriented Databases, Japan (1989)."},{"key":"325532_CR4","doi-asserted-by":"crossref","unstructured":"M. Kifer, R. Ramakrishnan and A. Silberschatz, An axiomatic approach to deciding query safety in deductive databases, in: Proc. 7th ACM Symp. on Principles of Database Systems, Austin (1988) pp. 52-60.","DOI":"10.1145\/308386.308412"},{"key":"325532_CR5","doi-asserted-by":"crossref","unstructured":"R. Krishnamurthy, R. Ramakrishnan and O. Shmueli, A framework for testing safety and effective computability of extended datalog, in: Proc. ACM Symp. on Management of Data, Chicago (1988) pp. 154-163.","DOI":"10.1145\/50202.50219"},{"key":"325532_CR6","doi-asserted-by":"crossref","unstructured":"R. Ramakrishnan, F. Bancilhon and A. Silberschatz, Safety of recursive Horn clauses with infinite relations, in: Proc. 6th ACM Symp. on Principles of Database Systems, San Diego (1987) pp. 328-339.","DOI":"10.1145\/28659.28694"},{"key":"325532_CR7","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/42282.42285","volume":"35","author":"J.D. Ullman","year":"1988","unstructured":"J.D. Ullman and A. Van Gelder, Efficient tests for top-down termination of logical rules, Journal of the ACM 35 (1988) 345-373.","journal-title":"Journal of the ACM"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018994409271.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018994409271\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018994409271.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:22Z","timestamp":1747546282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018994409271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":7,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["325532"],"URL":"https:\/\/doi.org\/10.1023\/a:1018994409271","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}