{"id":"https://openalex.org/W4252372877","doi":"https://doi.org/10.1145/67544.66943","title":"Solving implication problems in database applications","display_name":"Solving implication problems in database applications","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W4252372877","doi":"https://doi.org/10.1145/67544.66943"},"language":"en","primary_location":{"id":"doi:10.1145/67544.66943","doi":"https://doi.org/10.1145/67544.66943","is_oa":false,"landing_page_url":"https://doi.org/10.1145/67544.66943","pdf_url":null,"source":{"id":"https://openalex.org/S4393915683","display_name":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","issn_l":"0730-8078","issn":["0730-8078"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057665558","display_name":"Xian\u2010He Sun","orcid":"https://orcid.org/0000-0002-1093-0792","observed_orcids":["https://orcid.org/0000-0002-1093-0792"]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xian-He Sun","raw_affiliation_strings":["Michigan State Univ., East Lansing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State Univ., East Lansing","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032879661","display_name":"Nabil N. Kamel","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nabil Kamel","raw_affiliation_strings":["Michigan State Univ., East Lansing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State Univ., East Lansing","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021357065","display_name":"Lionel Ming-shuan Ni","orcid":"https://orcid.org/0000-0002-2325-6215","observed_orcids":["https://orcid.org/0000-0002-2325-6215"]},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lionel M. Ni","raw_affiliation_strings":["Michigan State Univ., East Lansing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State Univ., East Lansing","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I87216513"],"apc_list":null,"apc_paid":null,"fwci":0.6688,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.63434903,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"185","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.002099999925121665,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/implication-problem","display_name":"implication problem","score":0.8949999809265137},{"id":"https://openalex.org/keywords/database-queries","display_name":"database queries","score":0.4169999957084656},{"id":"https://openalex.org/keywords/np-hardness","display_name":"NP-hardness","score":0.781000018119812},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.8050000071525574},{"id":"https://openalex.org/keywords/satisfiability","display_name":"satisfiability","score":0.5849999785423279},{"id":"https://openalex.org/keywords/graph-representation","display_name":"graph representation","score":0.6959999799728394},{"id":"https://openalex.org/keywords/derived-relations","display_name":"derived relations","score":0.6349999904632568},{"id":"https://openalex.org/keywords/materialized-views","display_name":"materialized views","score":0.8759999871253967},{"id":"https://openalex.org/keywords/query-optimization","display_name":"query optimization","score":0.6140000224113464},{"id":"https://openalex.org/keywords/comparison-operators","display_name":"comparison operators","score":0.6850000023841858},{"id":"https://openalex.org/keywords/disjunction","display_name":"disjunction","score":0.8320000171661377},{"id":"https://openalex.org/keywords/heuristic-methods","display_name":"heuristic methods","score":0.4129999876022339}],"concepts":[{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6756414771080017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6541149020195007},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5404167771339417},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5071442127227783},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5002593994140625},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49439239501953125},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4895263612270355},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4591834247112274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4167352318763733},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35951632261276245},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3296848237514496},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29616579413414},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11731010675430298},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/67544.66943","doi":"https://doi.org/10.1145/67544.66943","is_oa":false,"landing_page_url":"https://doi.org/10.1145/67544.66943","pdf_url":null,"source":{"id":"https://openalex.org/S4393915683","display_name":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","issn_l":"0730-8078","issn":["0730-8078"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ust.hk:1783.1-42188","doi":null,"is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-84958064427&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W99733817","https://openalex.org/W1499001767","https://openalex.org/W1509742933","https://openalex.org/W1540290138","https://openalex.org/W1569140596","https://openalex.org/W2073987830","https://openalex.org/W2116476518","https://openalex.org/W2162641124","https://openalex.org/W2167679350","https://openalex.org/W4214717372","https://openalex.org/W4230657616","https://openalex.org/W4242657862"],"related_works":["https://openalex.org/W2152471233","https://openalex.org/W7095309467","https://openalex.org/W2071875892","https://openalex.org/W1569370144","https://openalex.org/W1564338100","https://openalex.org/W7126250382","https://openalex.org/W7098872371","https://openalex.org/W291431117","https://openalex.org/W1499001767","https://openalex.org/W2336458161"],"abstract_inverted_index":{"Computing":[0],"queries":[1,6],"from":[2,7],"derived":[3],"relations,":[4],"optimizing":[5],"a":[8,62,67,70,133],"group":[9],"of":[10,73,147],"queries,":[11],"and":[12,20,45,109,126,151,191],"updating":[13],"materialized":[14],"views":[15],"are":[16,111,121,128,153,193,195,200],"important":[17],"database":[18],"problems":[19,30],"have":[21],"attracted":[22],"much":[23],"attention.":[24],"One":[25],"thing":[26],"common":[27],"to":[28,34,139],"these":[29],"is":[31,81,113,137],"their":[32],"demand":[33],"quickly":[35],"solve":[36,140,169],"the":[37,74,89,116,148,164,170,175,181,188],"implication":[38,53,76,91,143,171],"problem":[39,54,77,172],"\u2014":[40],"given":[41],"two":[42],"predicates":[43],"\u03c3Q":[44,48,125],"\u03c3\u03c4,":[46,132],"can":[47,168],"imply":[49],"\u03c3\u03c4":[50],"(\u03c3Q\u2192\u03c3\u03c4)?":[51],"The":[52,145],"has":[55],"been":[56],"solved":[57],"by":[58],"converting":[59],"it":[60],"into":[61],"satisfiability":[63],"problem.":[64,144],"Based":[65],"on":[66,78],"graph":[68],"representation,":[69],"detailed":[71],"study":[72],"general":[75,90],"its":[79],"own":[80],"presented":[82],"in":[83,93,124,131,180,203],"this":[84,141],"paper.":[85],"We":[86],"proved":[87],"that":[88,159],"problem,":[92],"which":[94,173],"all":[95],"six":[96],"comparison":[97],"operators:":[98],"=,":[99],"\u2260,":[100],"<,":[101],">,":[102],"\u2264,":[103],"\u2265,":[104],"as":[105,107],"well":[106],"conjunctions":[108],"disjunctions":[110,127,152,179,192],"allowed,":[112],"NP-hard.":[114],"In":[115],"case":[117],"when":[118,187],"\u201c\u2260\u201d":[119,149,176,189],"operators":[120],"not":[122,129],"allowed":[123,130,194],"polynomial":[134,165],"time":[135],"algorithm":[136,167],"proposed":[138],"restricted":[142],"influence":[146],"operator":[150,177,190],"studied.":[154],"Our":[155],"theoretical":[156],"results":[157,199],"show":[158],"for":[160,185],"some":[161],"special":[162],"cases":[163],"complexity":[166],"allows":[174],"or":[178],"predicates.":[182],"Necessary":[183],"conditions":[184],"detecting":[186],"also":[196],"given.":[197],"These":[198],"very":[201],"useful":[202],"creating":[204],"heuristic":[205],"methods.":[206]},"counts_by_year":[],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2022-05-12T00:00:00"}