Return to Article Details Using a Tableau Method for Checking the Database Logical Structure Correctness Download Download PDF