Report - Logic and Databases: A Deductive Approach - Freie Universitätdatabases.pdf · Logic and Databases: A Deductive Approach l 155 to ensure that the database meets the in- tended semantics.

Please pass captcha verification before submit form