1. Deduction in the presence of distribution and contradictions;Abiteboul,2012
2. Deduction with contradictions in datalog;Abiteboul,2014
3. Foundations of Databases;Abiteboul,1995
4. Normalization theory for XML;Arenas;SIGMOD Rec.,2006
5. Dependency structures of data base relationships;Armstrong,1974