Database Theory, Yuri, and Me (Q3585996): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Datalog vs first-order logic
@@ Property / cites work: Datalog vs first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753700
@@ Property / cites work: Q2753700 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines and computationally complete query languages
+Normal rank
@@ Property / cites work @@
+Choiceless polynomial time
@@ Property / cites work: Choiceless polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+On polynomial time computation over unordered structures
+Normal rank
@@ Property / cites work @@
+On the completeness of object-creating database transformation languages
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+On the Descriptive Complexity of Linear Algebra
@@ Property / cites work: On the Descriptive Complexity of Linear Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Database query processing using finite cursor machines
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+The inference problem for template dependencies
@@ Property / cites work: The inference problem for template dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for cancellation semigroups with zero
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935250
@@ Property / cites work: Q4935250 / rank @@
+Normal rank
@@ Property / cites work @@
+What are logical notions?
@@ Property / cites work: What are logical notions? / rank @@
+Normal rank
@@ Property / cites work @@
+The implication and finite implication problems for typed template dependencies
+Normal rank