Search results for "query satisfiability"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Manizheh Montazerian, Peter T. Wood, Seyed R. Mousavi	XPath Query Satisfiability is in PTIME for Real-World DTDs.	XSym	2007	DBLP DOI BibTeX RDF	Document Type Definitions, Satisfiability, XPath
1	Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu	Satisfiability and relevance for queries over active documents.	PODS	2009	DBLP DOI BibTeX RDF	active XML, query satisfiability, relevance
1	Ming Li, Murali Mani, Elke A. Rundensteiner, Tao Lin	E-Tec: A Constraint-Aware Query Engine for Pattern Detection over Event Streams.	ICSC	2009	DBLP DOI BibTeX RDF
1	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	An Automata-Theoretic Approach to Regular XPath.	DBPL	2009	DBLP DOI BibTeX RDF
1	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga	EON: modeling and analyzing dynamic access control systems with logic programs.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	logic programming, automatic verification, dynamic access control
1	Manolis Koubarakis, Spiros Skiadopoulos, Christos Tryfonopoulos	Logic and Computational Complexity for Boolean Information Retrieval.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Boolean information retrieval, computational complexity, query languages, data models, satisfiability, proximity, entailment
1	Dimitri Theodoratos, Theodore Dalamagas, Antonis Koufopoulos, Narain H. Gehani	Semantic querying of tree-structured data sources using partially specified tree patterns.	CIKM	2005	DBLP DOI BibTeX RDF	query satisfiability, tree-pattern queries, XML, query evaluation, tree-structured data
1	Theodore Dalamagas, Dimitri Theodoratos, Antonis Koufopoulos, I-Ting Liu	Semantic Integration of Tree-Structured Data Using Dimension Graphs.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
1	Manolis Koubarakis	Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning.	TIME	2004	DBLP DOI BibTeX RDF
1	Manolis Koubarakis, Christos Tryfonopoulos, Stratos Idreos, Yannis Drougas	Selective information dissemination in P2P networks: problems and solutions.	SIGMOD Record	2003	DBLP DOI BibTeX RDF
1	Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Static analysis in datalog extensions.	J. ACM	2001	DBLP DOI BibTeX RDF	query satisfiability, Abstract interpretation, datalog, query containment
1	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Queries and Constraints on Semi-structured Data.	CAiSE	1999	DBLP DOI BibTeX RDF