An Educational Tool for Formal Relational Database Query Languages

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


This article describes an educational tool, implemented in Prolog, that takes advantage of the connection between logic programming and databases to provide an evaluator for relational query languages. The tool utilizes a common data definition facility and provides the student with a choice of query languages: relational algebra, domain relational calculus, tuple relational calculus, and SQL. The students use the relational interpreter for a sequence of homework assignments that both provide invaluable feedback on each language and illustrate the differences between the languages.

Original languageEnglish (US)
Pages (from-to)157-184
Number of pages28
JournalComputer Science Education
Issue number2
StatePublished - Jan 1 1993

ASJC Scopus subject areas

  • Computer Science(all)
  • Education


Dive into the research topics of 'An Educational Tool for Formal Relational Database Query Languages'. Together they form a unique fingerprint.

Cite this