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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have