Pages that link to "Item:Q4327632"

The following pages link to Modular stratification and magic sets for Datalog programs with negation (Q4327632):

Displaying 23 items.

• Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
• Monotonic aggregation in deductive databases (Q676422) (← links)
• The generalized supplementary magic-sets transformation for stratified Datalog (Q685491) (← links)
• Static filtering on stratified programs (Q688228) (← links)
• Magic Sets and their application to data integration (Q882436) (← links)
• Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete (Q1311394) (← links)
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
• Magic sets for disjunctive Datalog programs (Q1761296) (← links)
• Functional queries in datalog (Q1862647) (← links)
• An extension of Van Gelder's alternating fixpoint to magic programs (Q1924385) (← links)
• Maintenance of datalog materialisations revisited (Q2321273) (← links)
• Magic sets and stratified databases (Q3125846) (← links)
• Answer Set Programming: A Primer (Q3638997) (← links)
• Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
• A model building framework for answer set programming with external computations (Q4593036) (← links)
• An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
• (Q5020560) (← links)
• An algebraic construction of the well-founded model (Q5096404) (← links)
• Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
• ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG (Q5291328) (← links)
• Database Theory - ICDT 2005 (Q5316603) (← links)
• Preference queries in deductive databases (Q5929096) (← links)
• The limits of fixed-order computation (Q5940930) (← links)