Abstract

Logic and databases have gone a long way together since the advent of relational databases. Already the first basic query languages for relational databases beside relational algebra — tuple calculus and domain calculus — are actually a subset of first order predicate logic. Furthermore logic proved to be very adequate for establishing a sound theory for relational databases.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call