Pages that link to "Item:Q5458443"
From MaRDI portal
The following pages link to Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443):
Displaying 4 items.
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)