An Algorithmic Logic Approach to Formalizing Database Update Semantics (Q4236065): Difference between revisions

@@ Property / cites work @@
+Restructuring hierarchical database objects
@@ Property / cites work: Restructuring hierarchical database objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002502
@@ Property / cites work: Q4002502 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000515
@@ Property / cites work: Q4000515 / rank @@
+Normal rank
@@ Property / cites work @@
+On first-order-logic databases
@@ Property / cites work: On first-order-logic databases / rank @@
+Normal rank