Efficient Evaluation of Arbitrary Relational Calculus Queries (Q6137874): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+Monitoring Metric First-Order Temporal Properties
@@ Property / cites work: Monitoring Metric First-Order Temporal Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries over interpreted structures
@@ Property / cites work: Relational queries over interpreted structures / rank @@
+Normal rank
@@ Property / cites work @@
+Domain independence and the relational calculus
@@ Property / cites work: Domain independence and the relational calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, domain independence and translation of complex value database queries
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809047
@@ Property / cites work: Q4809047 / rank @@
+Normal rank
@@ Property / cites work @@
+The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
+Normal rank
@@ Property / cites work @@
+Introduction to constraint databases
@@ Property / cites work: Introduction to constraint databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for database dependencies
@@ Property / cites work: The decision problem for database dependencies / rank @@
+Normal rank