{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:37:34Z","timestamp":1703187454558},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[1991,7,1]],"date-time":"1991-07-01T00:00:00Z","timestamp":678326400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,7]]},"DOI":"10.1007\/bf01178680","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T21:37:46Z","timestamp":1108676266000},"page":"631-656","source":"Crossref","is-referenced-by-count":9,"title":["The expressive power of the bounded-iteration construct"],"prefix":"10.1007","volume":"28","author":[{"given":"Xiaolei","family":"Qian","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/42267.42271","volume":"35","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S., Vianu, V.: Equivalence and optimization of relational transactions. J. ACM35, 70?120 (1988)","journal-title":"J. ACM"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Fixpoint extensions of first-order logic and datalog-like languages. Proceedings of the Fourth Symposium on Logic in Computer Science, 1989, pp. 71?79","DOI":"10.1109\/LICS.1989.39160"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Aho, A., Ullman, J.: Universality of data retrieval languages. Proceedings of the Sixth ACM Symposium on Principles of Programming Languages, 1979, pp. 110?117","DOI":"10.1145\/567752.567763"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Chandra, A.: Programming primitives for database languages. Proceedings of the Eighth ACM Symposium on Principles of Programming Languages, 1981, pp. 50?62","DOI":"10.1145\/567532.567537"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Chandra, A.: Theory of database queries. Proceedings of the Seventh ACM Symposium on Principles of Database Systems, 1988, pp. 1?9","DOI":"10.1145\/308386.308396"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"Chandra, A., Harel, D.: Structure and complexity of relational queries. J. Comput. Syst. Sci.25, 99?128 (1982)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Hull, R., Su, J.: Untyped sets, invention, and computable queries. Proceedings of the Eighth ACM Symposium on Principles of Database Systems, 1989, pp. 347?359","DOI":"10.1145\/73721.73755"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N. Immerman","year":"1986","unstructured":"Immerman, N.: Relational queries computable in polynomial time. Info. Control68, 86?104 (1986)","journal-title":"Info. Control"},{"key":"CR9","unstructured":"Kolaitis, P.: The expressive power of stratified logic programs. Manuscript, 1987"},{"key":"CR10","unstructured":"Papadimitriou, C.: A note on the expressive power of PROLOG. Bull. Eur. Assoc. Theoret. Comput. Sci.1985, 21?23"},{"key":"CR11","unstructured":"Qian, X.: The deductive synthesis of database transactions. PhD Dissertation, Technical Report STAN-CS-89-1291, Department of Computer Science, Stanford University, 1989"},{"key":"CR12","unstructured":"Schmidt, J.W., Eckhardt, H., Matthes, F.: DBPL Report. DBPL-Memo 111-88, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, West Germany, 1988"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Trans. Database Syst.14, 322?368 (1989)","journal-title":"ACM Trans. Database Syst."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-934613-40-8.50010-5","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"R. Topor","year":"1988","unstructured":"Topor, R., Sonenberg, E.: On domain independent databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 217?240. Los Altos, CA: M. Kaufmann 1988"},{"key":"CR15","volume-title":"Principles of database and knowledge-base systems","author":"J. Ullman","year":"1988","unstructured":"Ullman, J.: Principles of database and knowledge-base systems. Oxford: Computer Science Press 1988"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Vardi, M.: The complexity of relational query languages. Proceedings of the Fourteenth ACM Symposium on Theory of Computing, 1982, pp. 137?146","DOI":"10.1145\/800070.802186"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178680.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178680\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:36:08Z","timestamp":1586118968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,7]]},"references-count":16,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1991,7]]}},"alternative-id":["BF01178680"],"URL":"https:\/\/doi.org\/10.1007\/bf01178680","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,7]]}}}