{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:35Z","timestamp":1750308755952,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T00:00:00Z","timestamp":1181520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,6,11]]},"DOI":"10.1145\/1265530.1265556","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T16:07:37Z","timestamp":1189786057000},"page":"185-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-linear prefixes in query languages"],"prefix":"10.1145","author":[{"given":"Antonio","family":"Badia","sequence":"first","affiliation":[{"name":"University of Louisville"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[{"name":"Hasselt University and Transnational University of Limburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/927005"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/500368.500371"},{"key":"e_1_3_2_1_4_1","unstructured":"Badia A. and Cao B. Processing and Optimization of Generalized Quantification Queries under submission.  Badia A. and Cao B. Processing and Optimization of Generalized Quantification Queries under submission."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90040-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00258419","volume":"8","author":"Barwise J.","year":"1979","unstructured":"Barwise , J. On Branching Quantifiers in English , Journal of Philosophical Logic , v. 8 , 1979 , pages 47 -- 80 Barwise, J. On Branching Quantifiers in English, Journal of Philosophical Logic, v. 8, 1979, pages 47--80","journal-title":"Journal of Philosophical Logic"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2727-8_10"},{"key":"e_1_3_2_1_8_1","volume-title":"Foris Publications","author":"Generalized Quantifiers","year":"1985","unstructured":"Generalized Quantifiers in Natural Language, van Benthem , J. and ter Meulen, A., eds . Foris Publications , 1985 . Generalized Quantifiers in Natural Language, van Benthem, J. and ter Meulen, A., eds. Foris Publications, 1985."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316090"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19700160802"},{"key":"e_1_3_2_1_11_1","volume-title":"A Mathematical Introduction to Logic","author":"Enderton H.","year":"1972","unstructured":"Enderton , H. A Mathematical Introduction to Logic , Academic Press , 1972 . Enderton, H. A Mathematical Introduction to Logic, Academic Press, 1972."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645500.655905"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/527062"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90070-5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275786"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/502090.502100"},{"key":"e_1_3_2_1_17_1","first-page":"167","volume-title":"Infinitistic Methods","author":"Leon Henkin","year":"1959","unstructured":"Leon Henkin , Some Remarks on Infinitely Long Formulas , in Infinitistic Methods , Warsaw , 1959 , pp. 167 -- 183 . Leon Henkin, Some Remarks on Infinitely Long Formulas, in Infinitistic Methods, Warsaw, 1959, pp. 167--183."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275466"},{"issue":"2","key":"e_1_3_2_1_19_1","first-page":"153","volume":"5","author":"Hintikka J.","year":"1974","unstructured":"Hintikka , J. Quantifiers vs. Quantification Theory , Linguistic Inquiry , 5 ( 2 ), 1974 , pages 153 -- 177 . Hintikka, J. Quantifiers vs. Quantification Theory, Linguistic Inquiry, 5(2), 1974, pages 153--177.","journal-title":"Linguistic Inquiry"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645480.655272"},{"key":"e_1_3_2_1_21_1","volume-title":"Beyond the Frege Boundary, Linguistics and Philosophy, v. 15","author":"Keenan E.","year":"1992","unstructured":"Keenan , E. Beyond the Frege Boundary, Linguistics and Philosophy, v. 15 , 1992 . Keenan, E. Beyond the Frege Boundary, Linguistics and Philosophy, v. 15, 1992."},{"key":"e_1_3_2_1_22_1","first-page":"314","volume-title":"Journal of Symbolic Logic, v. 58, n. 1","author":"Keenan E.","year":"1993","unstructured":"Keenan , E. Natural Language, Sortal Reducibility and Generalized Quantifiers , Journal of Symbolic Logic, v. 58, n. 1 , 1993 , pages 314 -- 325 . Keenan, E. Natural Language, Sortal Reducibility and Generalized Quantifiers, Journal of Symbolic Logic, v. 58, n. 1, 1993, pages 314--325."},{"key":"e_1_3_2_1_23_1","unstructured":"Keenan E. and Moss L. Generalized Quantifiers and the Expressive Power of Natural Language in {8}.  Keenan E. and Moss L. Generalized Quantifiers and the Expressive Power of Natural Language in {8}."},{"key":"e_1_3_2_1_24_1","unstructured":"Keenan E. and Westerstahl D. Generalized Quantifiers in Linguistics and Logic in {8}.  Keenan E. and Westerstahl D. Generalized Quantifiers in Linguistics and Logic in {8}."},{"key":"e_1_3_2_1_25_1","first-page":"79","volume-title":"Journal of Symbolic Logic, v. 38","author":"Keisler J.","year":"1973","unstructured":"Keisler , J. and Walkoe , W . The Diversity of Quantifier Prefixes , Journal of Symbolic Logic, v. 38 , pages 79 -- 85 , 1973 . Keisler, J. and Walkoe, W. The Diversity of Quantifier Prefixes, Journal of Symbolic Logic, v. 38, pages 79--85, 1973."},{"key":"e_1_3_2_1_26_1","first-page":"23","volume":"74","author":"Kolaitis P.","year":"1995","unstructured":"Kolaitis , P. and V\u00e4an\u00e4nen , J. , Generalized Quantifiers and Pebble Games on Finite Structures, Annals of Pure and Applied Logic , Elsevier , v. 74 , 1995 , pages 23 -- 75 . Kolaitis, P. and V\u00e4an\u00e4nen, J., Generalized Quantifiers and Pebble Games on Finite Structures, Annals of Pure and Applied Logic, Elsevier, v. 74, 1995, pages 23--75.","journal-title":"Elsevier"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00736-3"},{"key":"e_1_3_2_1_28_1","volume-title":"Theoria","author":"Lindstrom P.","year":"1966","unstructured":"Lindstrom , P. , First Order Predicate Logic with Generalized Quantifiers , Theoria , volume 32 , 1966 . Lindstrom, P., First Order Predicate Logic with Generalized Quantifiers, Theoria, volume 32, 1966."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586699"},{"key":"e_1_3_2_1_30_1","volume-title":"Fundamenta Mathematica","author":"Mostowski A.","year":"1957","unstructured":"Mostowski , A. , On a Generalization of Quantifiers , Fundamenta Mathematica , volume 44 , 1957 . Mostowski, A., On a Generalization of Quantifiers, Fundamenta Mathematica, volume 44, 1957."},{"key":"e_1_3_2_1_31_1","first-page":"409","volume-title":"Logic and Databases","author":"Pirotte A.","year":"1978","unstructured":"Pirotte , A. , High Level Data Base Query Languages , in Logic and Databases , Gallaire and Minker, eds., Plenum Press , 1978 , pages 409 -- 436 . Pirotte, A., High Level Data Base Query Languages, in Logic and Databases, Gallaire and Minker, eds., Plenum Press, 1978, pages 409--436."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/145448.146877"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233334"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645923.671003"},{"key":"e_1_3_2_1_35_1","first-page":"131","volume-title":"Truth, Interpretation and Information; selected papers from the 3rd Amsterdam Colloquium","author":"Scha R.","year":"1984","unstructured":"Scha , R. Distributive , Collective and Cumulative Quantification , in Truth, Interpretation and Information; selected papers from the 3rd Amsterdam Colloquium , Dordrecht, Holland , 1984 , pages 131 -- 158 . Scha, R. Distributive, Collective and Cumulative Quantification, in Truth, Interpretation and Information; selected papers from the 3rd Amsterdam Colloquium, Dordrecht, Holland, 1984, pages 131--158."},{"key":"e_1_3_2_1_36_1","first-page":"136","volume-title":"The bulletin of the EATCS no 89","author":"Sevenster","year":"2006","unstructured":"M. Sevenster , Henkin Quantifiers: Logic, Games, and Computation , The bulletin of the EATCS no 89 , pages 136 -- 155 , June 2006 . M. Sevenster, Henkin Quantifiers: Logic, Games, and Computation, The bulletin of the EATCS no 89, pages 136--155, June 2006."},{"key":"e_1_3_2_1_37_1","volume-title":"Ways of Branching Quantifiers, Linguistics and Philosophy, v. 13","author":"Sher G.","year":"1990","unstructured":"Sher , G. Ways of Branching Quantifiers, Linguistics and Philosophy, v. 13 , 1990 . Sher, G. Ways of Branching Quantifiers, Linguistics and Philosophy, v. 13, 1990."},{"key":"e_1_3_2_1_38_1","volume-title":"in J","author":"Spaan M.","year":"1993","unstructured":"Spaan , M. Parallel Quantification , in J . van der Does and J. van Eyck (eds.) Generalized Quantifier Theory and Applications, CSLI Lecture Notes , 1993 . Spaan, M. Parallel Quantification, in J. van der Does and J. van Eyck (eds.) Generalized Quantifier Theory and Applications, CSLI Lecture Notes, 1993."},{"key":"e_1_3_2_1_39_1","unstructured":"The TPC-H Benchmark online at http:nnwww.tpc.org.  The TPC-H Benchmark online at http:nnwww.tpc.org."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/42790"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008209019899"},{"key":"e_1_3_2_1_42_1","first-page":"535","volume-title":"Journal of Symbolic Logic, v. 35, n. 4","author":"Walkoe W.","year":"1970","unstructured":"Walkoe , W. Finite Partially-Ordered Quantification , Journal of Symbolic Logic, v. 35, n. 4 , pages 535 -- 555 , 1970 . Walkoe, W. Finite Partially-Ordered Quantification, Journal of Symbolic Logic, v. 35, n. 4, pages 535--555, 1970."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1171-0_1"},{"key":"e_1_3_2_1_44_1","first-page":"173","volume-title":"Dynamics, Polarity and Quantification, Kanazawa and Pinon, eds., CSLI","author":"Westerstahl D.","year":"1994","unstructured":"Westerstahl , D. Iterated Quantifiers , in Dynamics, Polarity and Quantification, Kanazawa and Pinon, eds., CSLI , Stanford University , 1994 , pages 173 -- 209 . Westerstahl, D. Iterated Quantifiers, in Dynamics, Polarity and Quantification, Kanazawa and Pinon, eds., CSLI, Stanford University, 1994, pages 173--209."},{"key":"e_1_3_2_1_45_1","volume-title":"Garderfons, P. (ed.) Generalized Quantifiers: Linguistic and Logical Approaches","author":"Westerstahl D.","year":"1987","unstructured":"Westerstahl , D. Branching Quantifiers and Natural Language , in Garderfons, P. (ed.) Generalized Quantifiers: Linguistic and Logical Approaches , Dordrecht , 1987 . Westerstahl, D. Branching Quantifiers and Natural Language, in Garderfons, P. (ed.) Generalized Quantifiers: Linguistic and Logical Approaches, Dordrecht, 1987."}],"event":{"name":"SIGMOD\/PODS07: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","ACM Association for Computing Machinery"],"location":"Beijing China","acronym":"SIGMOD\/PODS07"},"container-title":["Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1265530.1265556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1265530.1265556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:24Z","timestamp":1750278144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1265530.1265556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,11]]},"references-count":45,"alternative-id":["10.1145\/1265530.1265556","10.1145\/1265530"],"URL":"https:\/\/doi.org\/10.1145\/1265530.1265556","relation":{},"subject":[],"published":{"date-parts":[[2007,6,11]]},"assertion":[{"value":"2007-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}