Målet med Knowledge Compilation är att representera ett booleskt uttryck i ett format där det kan svara på en rad "online-queries" i PTIME. Onlinequery av största intresse för oss är modellräkning, på grund av dess tillämpning för att fråga utvärdering på probabilistiska databaser, men andra online-queries kan stödjas liksom testning för likvärdighet, testning för implikation, etc. I detta dokument studerar vi följande problem: med tanke på en databas fråga q, avgöra om dess linje kan sammanställas effektivt till ett visst målspråk. Vi anser att fyra målspråk, av strikt ökande uttryckskraft (när storleken på sammanställningen är begränsad till att vara polynom i datastorlek): read-once Booleska formler, OBDD, FBDD och d-DNNF. För varje mål, vi studerar klassen av databasfrågor som medger polynom storlek representation: dessa frågor kan också utvärderas i PTIME över probabilistiska databaser. När frågor begränsas till konjunktiva frågor utan självbelåtenhet, var det känt att dessa fyra klasser kollapsar till klassen av hierarkiska frågor, vilket också är klassen av PTIME-frågor över probabilistiska databaser. Vårt främsta resultat i detta dokument är att dessa klasser, när det gäller unioner för konjunktiva frågor (UCQ), utgör en strikt hierarki. Till skillnad från konjunktiva frågor utan selfjoins, den uttryckskraft av UCQ skiljer sig således avsevärt med avseende på dessa mål samlingsspråk. Dessutom ger vi en fullständig karakterisering av de två första målspråken, baserat på frågans syntax.
Klassen av inversionsfria UCQs är likvärdig med den klass av UCQ frågor som tillåter polysize OBDDs REF.
Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams
{'venue': 'Theory of Computing Systems', 'journal': 'Theory of Computing Systems', 'mag_field_of_study': ['Mathematics', 'Computer Science']}