Logic in computer science
article-link
What links here
Datalog
Database theory
article-link
Object–role modeling
article-link
Expression (mathematics)
article-link
Binary decision diagram
article-link
Query language
article-link
Fixed point (mathematics)
article-link
Transitive closure
article-link
Declarative programming
article-link
Burrows–Abadi–Needham logic
article-link
Description logic
article-link
Relational algebra
article-link
List of programming languages by type
article-link
List of programming languages
article-link
SQL
article-link
Relational model
article-link
Relational database
article-link
Prolog
article-link
Logic programming
article-link