anonyox's library 36 articles Export

	Foundations of SPARQL Query Optimization [My Copy] (26 Jan 2009) by Michael Schmidt, Michael Meier, Georg Lausen posted to no-tag by anonyox on 2009-04-05 19:18:10 as
	Reformulation of XML Queries and Constraints [My Copy] Database Theory — ICDT 2003 (2002), pp. 225-241. by Alin Deutsch, Val Tannen posted to no-tag by anonyox on 2008-12-08 23:49:30 as
	Why Horn formulas matter in computer science: Initial structures and generic examples [My Copy] Mathematical Foundations of Software Development (1985), pp. 374-387. by J. Makowsky posted to no-tag by anonyox on 2008-11-21 11:41:09 as
	The chase revisited [My Copy] In PODS '08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2008), pp. 149-158. by Alin Deutsch, Alan Nash, Jeff Remmel posted to no-tag by anonyox on 2008-06-26 14:48:09 as along with 1 person masteraka
	Unification via explicit substitutions : the case of higher - order patterns = Unification d'ordre supérieur via les substitutions explicites : le cas des patterns [My Copy] posted to high-order unification by anonyox on 2008-06-21 18:07:15 as
	On the occur-check-free PROLOG programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (May 1994), pp. 687-726. by Krzysztof R. Apt, Alessandro Pellegrini posted to no-tag by anonyox on 2008-06-18 18:26:39 as
	The semantic web [My Copy] by Berners-Lee edited by Scientific posted to semantic_web by anonyox on 2008-05-27 18:43:52 as
	Foundations of semantic web databases [My Copy] In PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2004), pp. 95-106. by Claudio Gutierrez, Carlos Hurtado, Alberto O. Mendelzon posted to rdflog semantic_web by anonyox on 2008-05-27 18:39:35 as along with 2 people jsenn nmoreau
	Decidable Fragments of Logic Programming with Value Invention [My Copy] Logics in Artificial Intelligence (2006), pp. 95-110. by Francesco Calimeri, Susanna Cozza, Giovambattista Ianni posted to no-tag by anonyox on 2008-05-27 18:33:16 as
	On the decidability and axiomatization of query finiteness in deductive databases [My Copy] J. ACM, Vol. 45, No. 4. (July 1998), pp. 588-633. by Michael Kifer posted to finiteness termination by anonyox on 2008-05-27 18:31:58 as
	Datalog LITE: a deductive query language with linear time model checking [My Copy] ACM Trans. Comput. Logic, Vol. 3, No. 1. (January 2002), pp. 42-79. by Georg Gottlob, Erich Grädel, Helmut Veith posted to datalog lite by anonyox on 2008-05-27 18:25:55 as
	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family [My Copy] by Calvanese posted to description_logic dllite by anonyox on 2008-05-27 18:22:31 as
	La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant = The Cooperative Oral Communication: Contribution to the Logical Modelisation and the Implementation of a Dialoguing Rational Agent [My Copy] posted to unrelevent by anonyox on 2008-05-23 00:45:24 as
	The description logic handbook: theory, implementation, and applications [My Copy] (2003) by Franz Baader, Diego Calvanese, Deborah L. Mcguinness, Daniele Nardi, Peter F. Patel-Schneider edited by Franz Baader, Diego Calvanese, Deborah L. Mcguinness, Daniele Nardi, Peter F. Patel-Schneider posted to description_logic by anonyox on 2008-01-27 21:39:35 as along with 3 people leechuck masteraka Wurlitzer
	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic [My Copy] Frontiers of Combining Systems (2005), pp. 48-64. by Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba posted to nelson-oppen by anonyox on 2008-01-27 21:26:51 as along with 2 people dejan masteraka
	Beyond Hypertree Width: Decomposition Methods Without Decompositions [My Copy] Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 167-181. by Hubie Chen, Víctor Dalmau posted to decompositions by anonyox on 2008-01-27 20:03:16 as along with 1 person masteraka
	Generalized hypertree decompositions: np-hardness and tractable variants [My Copy] In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007), pp. 13-22. by Georg Gottlob, Zoltan Miklos, Thomas Schwentick posted to decompositions by anonyox on 2008-01-27 19:59:40 as along with 1 person masteraka
	Composing schema mappings: Second-order dependencies to the rescue [My Copy] ACM Trans. Database Syst., Vol. 30, No. 4. (December 2005), pp. 994-1055. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan posted to data_exchange by anonyox on 2008-01-27 18:11:09 as along with 1 person lawley
	Data exchange: computing cores in polynomial time [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 40-49. by Georg Gottlob, Alan Nash posted to core termination weak-acyclicity by anonyox on 2008-01-27 17:24:30 as along with 1 person masteraka
	Computing cores for data exchange: new algorithms and practical solutions [My Copy] In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 148-159. by Georg Gottlob posted to core decompositions by anonyox on 2008-01-27 16:17:59 as along with 1 person masteraka
	Hypertree Decompositions and Tractable Queries [My Copy] Journal of Computer and System Sciences, Vol. 64, No. 3. (May 2002), pp. 579-627. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to decompositions by anonyox on 2008-01-27 15:47:34 as along with 2 people masteraka gregtarr
	Constraint solving via fractional edge covers [My Copy] In SODA '06: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (2006), pp. 289-298. by Martin Grohe, Dániel Marx posted to decomposition fractionnal by anonyox on 2008-01-27 15:25:53 as along with 1 person masteraka
	Data Integration under Integrity Constraints [My Copy] Advanced Information Systems Engineering: 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002. Proceedings (2002), 262. by Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini posted to chase infinite by anonyox on 2007-11-11 17:08:17 as
	Query rewriting and answering under constraints in data integration systems [My Copy] IJCAI (2003) by A. Cali, D. Lembo, R. Rosati posted to chase infinite by anonyox on 2007-11-11 17:07:20 as
	Recursive Query Plans for Data Integration [My Copy] Journal of Logic Programming, Vol. 43, No. 1. (2000), pp. 49-73. by Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy posted to data_exchange recursive by anonyox on 2007-11-11 17:00:11 as
	Complexity of answering queries using materialized views [My Copy] In PODS '98: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1998), pp. 254-263. by Serge Abiteboul, Oliver M. Duschka posted to views by anonyox on 2007-11-11 16:58:10 as along with 1 person masteraka
	MiniCon: A scalable algorithm for answering queries using views [My Copy] The VLDB Journal The International Journal on Very Large Data Bases, Vol. 10, No. 2. (2001), pp. 182-198. by Rachel Pottinger, Alon Halevy posted to views by anonyox on 2007-11-11 16:55:49 as along with 1 person masteraka
	$My PDF cal\i_03_decidability.pdf$ On the decidability and complexity of query answering over inconsistent and incomplete databases [My Copy] In PODS '03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2003), pp. 260-271. by Andrea Cal\i, Domenico Lembo, Riccardo Rosati posted to chase incomplete_data infinite by anonyox on 2007-11-11 16:52:30 as along with 1 person fsautomata
	Consistent query answers in inconsistent databases [My Copy] In PODS '99: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999), pp. 68-79. by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki posted to incomplete_data by anonyox on 2007-11-11 16:48:20 as along with 2 people stavros fsautomata
	View-Based Query Processing and Constraint Satisfaction [My Copy] In Logic in Computer Science (2000), pp. 361-371. by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi posted to views by anonyox on 2007-11-11 16:46:36 as
	Testing containment of conjunctive queries under functional and inclusion dependencies [My Copy] In PODS '82: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982), pp. 164-169. by D. S. Johnson, A. Klug posted to chase infinite by anonyox on 2007-11-11 16:40:27 as along with 1 person fsautomata
	Answering queries using views: A survey [My Copy] The VLDB Journal The International Journal on Very Large Data Bases, Vol. 10, No. 4. (December 2001), pp. 270-294. by Alon Y. Halevy posted to views by anonyox on 2007-10-15 22:36:18 as along with 7 people rzfrantz tulaydemir neilernst dullhunk julianpan masteraka brunoDE
	Information Integration Using Logical Views [My Copy] In ICDT '97: Proceedings of the 6th International Conference on Database Theory (1997), pp. 19-40. by Jeffrey D. Ullman posted to views by anonyox on 2007-10-15 22:35:55 as along with 2 people masteraka brunoDE
	Data integration: a theoretical perspective [My Copy] In PODS '02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2002), pp. 233-246. by Maurizio Lenzerini posted to data_integration by anonyox on 2007-10-15 22:35:34 as along with 10 people pavelkrbalek oliverbeckmann vtanas andymaule lei masteraka brunoDE fsautomata dansullivanblk fryanpan
	Data Exchange: Semantics and Query Answering [My Copy] Database Theory - ICDT 2003: 9th International Conference Siena, Italy, January 8-10, 2003. Proceedings (2003), pp. 207-224. by Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa posted to data_exchange semantics by anonyox on 2007-10-15 22:35:21 as along with 1 person brunoDE
	Data exchange: getting to the core [My Copy] ACM Trans. Database Syst., Vol. 30, No. 1. (March 2005), pp. 174-210. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa posted to core by anonyox on 2007-10-15 22:34:48 as along with 4 people nhoussos ludaesch masteraka brunoDE

Note: You may cite this page as: http://www.citeulike.org/user/anonyox

views	5
chase	4
decompositions	4
infinite	4
core	3
data_exchange	3
description_logic	2
incomplete_data	2
semantic_web	2
termination	2
data_integration	1
datalog	1
decomposition	1
dllite	1
finiteness	1
fractionnal	1
high-order	1
lite	1
nelson-oppen	1
rdflog	1
recursive	1
semantics	1
unification	1
unrelevent	1
weak-acyclicity	1

anonyox's library 36 articles Export

anonyox's tags