Ofullständiga relationer är relationer som innehåller nollvärden, vars betydelse för närvarande är okänd". Sådana förbindelser ger upphov till två typer av funktionellt beroende (FD). Den första typen, som kallas den starka FD (SFD), är mätt i ett ofullständigt förhållande om FD för alla möjliga världar i detta förhållande är mätt på standard sätt. Den andra typen, som kallas den svaga FD (WFD), är mätt i ett ofullständigt förhållande om det finns en möjlig värld av detta förhållande där FD är mätt på standard sätt. Vi uppvisar ett ljud- och komplett axiomsystem för både starka och svaga FDs, som tar hänsyn till samspelet mellan SFDs och WFDs. Ett intressant inslag i det kombinerade axiomsystemet är att det inte är k-ary för något naturligt tal k 0. Vi visar att det kombinerade implicit problemet för SFDs och WFDs kan lösas i tid polynom i storleken på indatauppsättningen av FDs. Slutligen visar vi att Armstrongs relationer finns för SFDs och WFDs.
Levene och Loizou införde starka och svaga funktionella beroenden (FDs) REF.
Axiomatisation of Functional Dependencies in Incomplete Relations
{'venue': 'Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}