Skip to content. | Skip to navigation

Informatik 5
Information Systems
Prof. Dr. M. Jarke
Sections
Personal tools
You are here: Home Theses Decidability of logical equivalence problem for plain SO tgds

Contact

Prof. Dr. M. Jarke
RWTH Aachen
Informatik 5
Ahornstr. 55
D-52056 Aachen
Tel +49/241/8021501
Fax +49/241/8022321

How to find us

Annual Reports

Disclaimer

Webmaster

 

 

Decidability of logical equivalence problem for plain SO tgds

Thesis type
  • Bachelor
Status Open
Supervisor(s)
Advisor(s)

Prerequisites

Introductory course to database systems (e.g., Datenbanken und Informationssysteme) and mathematical logics.

Document Actions