Semantic Checking of Questions Expressed in Predicate Calculus Language.

conf/vldb/79 Robert Demolombe Semantic Checking of Questions Expressed in Predicate Calculus Language. 444-450 VLDB79/P444.PDF 1979 VLDB db/conf/vldb/vldb79.html#Demolombe79 ... ... conf/sigmod/ChamberlinB74 persons/Codd72 ... ... ... ... ... ... ... ... ... ... ...