The following pages link to (Q4400802):
Displaying 13 items.
- An axiom system for database transactions (Q917282) (← links)
- An overview of transaction logic (Q1341707) (← links)
- A procedural semantics for stratified database updates (Q1376085) (← links)
- On the efficiency of transforming database logic programs (Q1900919) (← links)
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- (Q3495626) (← links)
- A Formal Coding Structure for Database Record Processing (Q4207615) (← links)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases (Q4323002) (← links)
- A linear logic approach to consistency preserving updates (Q4885626) (← links)
- (Q5192932) (← links)