{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:24:50Z","timestamp":1751635490459,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[1987,6,1]],"date-time":"1987-06-01T00:00:00Z","timestamp":549504000000},"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":[[1987,6]]},"DOI":"10.1145\/28659.28662","type":"proceedings-article","created":{"date-parts":[[2003,11,25]],"date-time":"2003-11-25T19:25:53Z","timestamp":1069788353000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":87,"title":["Sets and negation in a logic data base language (LDL1)"],"prefix":"10.1145","author":[{"given":"C.","family":"Beeri","sequence":"first","affiliation":[{"name":"MOC, P O Box 200195, Austin, TX"}]},{"given":"S.","family":"Naqvi","sequence":"additional","affiliation":[{"name":"MOC, P O Box 200195, Austin, TX"}]},{"given":"R.","family":"Ramakrishnan","sequence":"additional","affiliation":[{"name":"MOC, P O Box 200195, Austin, TX"}]},{"given":"O.","family":"Shmueli","sequence":"additional","affiliation":[{"name":"MOC, P O Box 200195, Austin, TX"}]},{"given":"S.","family":"Tsur","sequence":"additional","affiliation":[{"name":"MOC, P O Box 200195, Austin, TX"}]}],"member":"320","published-online":{"date-parts":[[1987,6]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"A Walker Towards a Theory of Declara~ve Knowledge, unpubhshed manuscript","author":"Apt K","year":"1986","unstructured":"K Apt , H Blair , A Walker Towards a Theory of Declara~ve Knowledge, unpubhshed manuscript , 1986 K Apt, H Blair, A Walker Towards a Theory of Declara~ve Knowledge, unpubhshed manuscript, 1986"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_2","DOI":"10.1145\/322326.322339"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_2","DOI":"10.1145\/6012.15399"},{"volume-title":"AOM PODS 1987","author":"Been C","unstructured":"C Been , R Ramaknshnan On the Power of Magac , to appear m AOM PODS 1987 C Been, R Ramaknshnan On the Power of Magac, to appear m AOM PODS 1987","key":"e_1_3_2_1_4_2"},{"key":"e_1_3_2_1_5_2","first-page":"1","volume-title":"Journal of L~~c ~ng","author":"Ohandra A","year":"1985","unstructured":"A Ohandra , D Harel Horn Clause Quenes and Generahzat~ons , Journal of L~~c ~ng , 1 - 15 , 1985 A Ohandra, D Harel Horn Clause Quenes and Generahzat~ons, Journal of L~~c ~ng, 1-15, 1985"},{"key":"e_1_3_2_1_6_2","volume-title":"J Mmker, eds)","author":"Fadure K Clark Negatmn","year":"1978","unstructured":"K Clark Negatmn as Fadure , m Logm and Databu~, (J Gallatre , J Mmker, eds) , Plenum Press , 1978 K Clark Negatmn as Fadure, m Logm and Databu~, (J Gallatre, J Mmker, eds), Plenum Press, 1978"},{"key":"e_1_3_2_1_7_2","first-page":"295","volume":"4","author":"Knpke-Kleene M Flmng A","year":"1985","unstructured":"M Flmng A Knpke-Kleene Semantics for Logic Programs , Jouraal at L~c Pmgranmm~ 4 , 295 - 312 , 1985 M Flmng A Knpke-Kleene Semantics for Logic Programs, Jouraal at L~c Pmgranmm~ 4, 295-312, 1985","journal-title":"L~c Pmgranmm~"},{"unstructured":"A Van Gelder Negation as Failure Using Tight Denvataons for General Logic Programs unpubhshed manuscnpt  A Van Gelder Negation as Failure Using Tight Denvataons for General Logic Programs unpubhshed manuscnpt","key":"e_1_3_2_1_8_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_2","DOI":"10.1145\/321978.321991"},{"key":"e_1_3_2_1_10_2","volume-title":"Workshop on Database Theory, Umver- 8lt~ of Texas","author":"Kuper Logm Programming With G M","year":"1986","unstructured":"G M Kuper Logm Programming With Sets, XP\/7 52 Workshop on Database Theory, Umver- 8lt~ of Texas , Ausian , 1986 G M Kuper Logm Programming With Sets, XP\/7 52 Workshop on Database Theory, Umver- 8lt~ of Texas, Ausian, 1986"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_2","DOI":"10.5555\/2214"},{"key":"e_1_3_2_1_12_2","volume-title":"Pmc of the Workshop on Logic and Databases, Washington, D C","author":"Database S Naqvl A","year":"1986","unstructured":"S Naqvl A Logic for Negation m Database System\", M C~ Techmcal Report Also m Pmc of the Workshop on Logic and Databases, Washington, D C , 1986 S Naqvl A Logic for Negation m Database System\", MC~ Techmcal Report Also m Pmc of the Workshop on Logic and Databases, Washington, D C, 1986"},{"key":"e_1_3_2_1_13_2","volume":"5","author":"La~t~ce-Theoretmal Flxpomt A Tarsh A","year":"1955","unstructured":"A Tarsh A La~t~ce-Theoretmal Flxpomt Theorem and l ~s Apphcataons' , Padfi~ J Math 5 , 1955 A Tarsh A La~t~ce-Theoretmal Flxpomt Theorem and l~s Apphcataons', Padfi~ J Math 5, 1955","journal-title":"Padfi~ J Math"},{"key":"e_1_3_2_1_14_2","volume-title":"DB-150-85","author":"Tsur S","year":"1986","unstructured":"S Tsur , and C Zanmlo \"LDL Rev 0\" , MOC Techmcal Report , DB-150-85 , 1986 S Tsur, and C Zanmlo \"LDL Rev 0\", MOC Techmcal Report, DB-150-85, 1986"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_2","DOI":"10.5555\/645913.671478"},{"key":"e_1_3_2_1_16_2","volume-title":"Proc 11th Int Conf Very Large Databases","author":"Repreaentalaon C Zanmlo The","year":"1985","unstructured":"C Zanmlo The Repreaentalaon and Deductave Retrieval of Complex Objects\" , Proc 11th Int Conf Very Large Databases , Stockholm , 1985 C Zanmlo The Repreaentalaon and Deductave Retrieval of Complex Objects\", Proc 11th Int Conf Very Large Databases, Stockholm, 1985"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_2","DOI":"10.1145\/321978.321991"},{"key":"e_1_3_2_1_18_2","volume-title":"Workshop on Database Theory, Umverslty of Texas","author":"Kuper Logic Programming With G M","year":"1986","unstructured":"G M Kuper Logic Programming With Sets, XP\/ff 52 Workshop on Database Theory, Umverslty of Texas , Austin , 1986 G M Kuper Logic Programming With Sets, XP\/ff 52 Workshop on Database Theory, Umverslty of Texas, Austin, 1986"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_2","DOI":"10.5555\/2214"},{"key":"e_1_3_2_1_20_2","volume-title":"Proc of the Workshop on Logw and Databases, Washington, D C","author":"S Naqvl A","year":"1986","unstructured":"S Naqvl A I,oglc for Negation in Database System\", MCC'Fechnl(al RcpoIt Also m Proc of the Workshop on Logw and Databases, Washington, D C , 1986 S Naqvl A I,oglc for Negation in Database System\", MCC'Fechnl(al RcpoIt Also m Proc of the Workshop on Logw and Databases, Washington, D C, 1986"},{"unstructured":"O Shmueh S Naqvl Set Grouping and Layering m IIorn Clause Programs unpubhshed manuscript  O Shmueh S Naqvl Set Grouping and Layering m IIorn Clause Programs unpubhshed manuscript","key":"e_1_3_2_1_21_2"},{"key":"e_1_3_2_1_22_2","volume":"5","author":"Lattice-Theoretical Ftxpomt A T","year":"1955","unstructured":"A T , wskl A Lattice-Theoretical Ftxpomt Theorem and its Apphc ,ttlons\" , Pacafie J Math 5 , 1955 A T, wskl A Lattice-Theoretical Ftxpomt Theorem and its Apphc,ttlons\", Pacafie J Math 5, 1955","journal-title":"Pacafie J Math"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_2","DOI":"10.5555\/645913.671478"},{"key":"e_1_3_2_1_25_2","volume-title":"Proc llth Int Conf Very Large Databases","author":"Representation C Zaniolo The","year":"1985","unstructured":"C Zaniolo The Representation and Deductave Retrieval of Complex ObJects\" , Proc llth Int Conf Very Large Databases , Stockholm , 1985 C Zaniolo The Representation and Deductave Retrieval of Complex ObJects\", Proc llth Int Conf Very Large Databases, Stockholm, 1985"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_2","DOI":"10.1145\/3979.3980"}],"event":{"sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"PODS '87","name":"PODS '87: Principles of database systems","location":"San Diego California USA"},"container-title":["Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/28659.28662","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/28659.28662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:15:05Z","timestamp":1750281305000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/28659.28662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,6]]},"references-count":25,"alternative-id":["10.1145\/28659.28662","10.1145\/28659"],"URL":"https:\/\/doi.org\/10.1145\/28659.28662","relation":{},"subject":[],"published":{"date-parts":[[1987,6]]},"assertion":[{"value":"1987-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}