{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:59Z","timestamp":1725456059305},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023766","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"173-183","source":"Crossref","is-referenced-by-count":0,"title":["Safe queries in relational databases with functions"],"prefix":"10.1007","author":[{"given":"Joram","family":"Hirshfeld","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"A. Avron and J. Hirshfeld, On first order database query languages. Proceeding of the sixth symposium on Logic in Computer Sciences (1991) 226\u2013231.","key":"13_CR1","DOI":"10.1109\/LICS.1991.151647"},{"key":"13_CR2","volume-title":"Technical report","author":"R. Demolombe","year":"1982","unstructured":"R. Demolombe, Syntactical characterization of a subset of domain independent formulas. Technical report, ONERA-CERT, Toulouse (1982)."},{"issue":"2","key":"13_CR3","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/321510.321524","volume":"16","author":"R.A. Paola Di","year":"1969","unstructured":"R.A. Di Paola, The recursive unsolvability of the decision problem for the class of definite formulas. J. ACM 16(2) (1969) 324\u2013327.","journal-title":"J. ACM"},{"doi-asserted-by":"crossref","unstructured":"M. Kifer, On safely, domain independence and capturability of database queries. Proc. International Conference on database and knowledge bases. Jerusalem (1988) 405\u2013415.","key":"13_CR4","DOI":"10.1016\/B978-1-4832-1313-2.50037-8"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(87)90113-7","volume":"52","author":"R.W. Topor","year":"1987","unstructured":"R.W. Topor, Domain independence formulas and databases. Theoretical Computer Science 52 (1987) 281\u2013306.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"R.W. Topor and E.A. Sonenberg, On domain independent databases, In Foundation of deductive database and logic programming. Editor J. Minker.(1987) 217\u2013240.","key":"13_CR6","DOI":"10.1016\/B978-0-934613-40-8.50010-5"},{"unstructured":"J.D. Ullman, Principles of database and knowledge base systems Volume 1. Computer Science Press (1989).","key":"13_CR7"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023766.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:31Z","timestamp":1607550631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023766"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0023766","relation":{},"subject":[]}}