Relational Calculas
Update Exchange with Mappings and Provenance Todd J. Green Grigoris Karvounarakis Zachary G. Ives Val Tannen University of Pennsylvania VLDB 2007 Vienna,
Dependency Problems for Future Database Systems: Ingres Project D Adrian Hudnott Warwick Postgraduate Colloquium in Computer Science 2008.
The Languages Query By Example (QBE) – Base on domain relational calculus. Quel – Base on tuple relational calculus. Datalog – modeled after the Prolog.
The History of Datalog