Relationell lattice minskar uppsättningen av sex klassiska relationella algebra operatörer till två binära lattice verksamhet: naturlig anslutning och inre union. Vi ger en introduktion till denna teori med betoning på formella algebraiska lagar. Nya resultat inkluderar Spight distributivity kriterier och dess tillämpningar för att ifrågasätta omvandlingar.
Relationell lattice verksamhet REF, vilket minskar de fem standard relationsoperatörer till generaliserad union ( ) och naturlig anslutning ( ).
First Steps in Relational Lattice
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}