61 search results - page 1 / 13 » A New Proposal for Debugging Datalog Programs |
ENTCS
2008
13 years 4 months ago
2008
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
IEAAIE
1999
Springer
13 years 9 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
ER
2008
Springer
13 years 6 months ago
2008
Springer
Access limitations may occur when querying data sources over the web or heterogeneous data sources presented as relational tables: this happens, for instance, in Data Exchange and ...
PODS
2007
ACM
14 years 4 months ago
2007
ACM
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...