Functional dependency: Difference between revisions

Revision as of 15:42, 28 November 2019

Revision as of 11:09, 18 December 2019

Line 103:

|year=1995

|isbn=0-201-53771-0

|url=https://archive.org/details/foundationsofdat0000abit/page/164

|url=http://webdam.inria.fr/Alice/

|pages=[https://archive.org/details/foundationsofdat0000abit/page/164 164–168]

|pages=164–168

}}</ref> with the caveat that the axiom and rules of inference are all [[Schema (logic)|schemata]], meaning that the ''X'', ''Y'' and ''Z'' range over all ground terms (attribute sets).<ref name="Vardi"/>