Eric N. Hanson
Available in: PDF
Uncategorized
Managing knowledge about information system evolution
Compiling separable recursions
A polynomial time algorithm for testing implications of a join dependency and embodied functional dependencies
The powerset algebra as a result of adding programming constructs to the nested relational algebra
Resolving the tension between integrity and security using a theorem prover
Subhasish Mazumdar, David Stemple, Tim Sheard
Available in: PDF
A transaction logic for database specification
Multidatabase update issues
Data functions, datalog and negation
A framework for testing safety and effective computability of extended datalog
Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli
Available in: PDF