För att hjälpa en användare att specificera och verifiera kvantifierade frågor - en klass av databasfrågor kända för att vara mycket utmanande för alla utom de mest experter användare - kan man fråga användaren om vissa dataobjekt är svar eller icke-svar på hennes avsedda fråga. I detta papper analyserar vi antalet frågor som behövs för att lära sig eller verifiera qhorn frågor, en särskild klass av Booleska kvantifierade frågor vars underliggande form är samband av kvantifierade Horn uttryck. Vi erbjuder optimal polynom-fråga och polynom-tid lärande och verifiering algoritmer för två underklasser av klassen qhorn med övre konstanta gränser på en frågas kausala densitet.
Den antar att användaren kan ange de värdeuppgifter som används i hans avsedda fråga, och lär sig samband med kvantifierade Horn uttryck (med om-då semantik) över borelationer REF.
Learning and verifying quantified boolean queries by example
{'venue': "PODS '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}