Ofullständig information förekommer naturligt i många applikationer för datahantering. Nyligen har flera forskare studerat frågebehandling i samband med ofullständig information. De flesta arbeten har kombinerat syntaxen av ett traditionellt frågespråk som relational algebra med en icke-standard semantik såsom vissa eller rangordnade möjliga svar. Det finns nu också språk med speciella egenskaper för att hantera osäkerhet. Enligt datahanteringsgemenskapens standarder har dock hittills inget språkförslag lagts fram som kan anses vara en naturlig analog till SQL eller relationsal algebra när det gäller ofullständig information. I detta dokument föreslår vi ett sådant språk, World-set Algebra, som uppfyller de robusthetskriterier och analogier till relational algebra som vi förväntar oss. Språket stöder kontemplationen på alternativ och kan därmed kartlägga från en komplett databas till en ofullständig som omfattar flera möjliga världar. Vi visar att World-set Algebra är konservativ över relationell algebra i den meningen att varje fråga som kartor från en komplett databas till en komplett databas (en komplett-till-fullständig fråga) motsvarar en relationell algebra fråga. Dessutom ger vi en effektiv algoritm för att åstadkomma denna översättning. Vi studerar sedan algebraisk frågeoptimering av sådana frågor. Vi hävdar att frågespråk med explicita konstruktioner för att hantera osäkerhet möjliggör det mer naturliga och enkla uttrycket av många verkliga beslut stöd frågor. Resultaten av detta dokument föreslår inte bara ett språk för att specificera frågor på detta sätt, utan möjliggör också en effektiv utvärdering av dem i alla relaterade databashanteringssystem.
En operation möjlig A i syntaxen i detta dokument motsvarar en operation möjlig π A i syntaxen för REF.
From complete to incomplete information and back
{'venue': "SIGMOD '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}