Library

Export 12 results:
Filters: Author is Anthony Widjaja  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
conjunctive query
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)
database query
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)
first-order logic
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)
Lowenheim class
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)
ontology reasoning
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)
Satisfiability
James Bailey, Guozhu Dong, Anthony Widjaja. Logical Queries over Views: Decidability and Expressiveness. ACM Transactions on Computational Logic. 2010 ;.  (375.04 KB)