Search results for "dependencies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Jaroslav Král, Michal Zemlicka	Inaccessible Area and Effort Consumption Dynamics.	SERA	2008	DBLP DOI BibTeX RDF	estimation of project duration, team personnel dynamics, dependencies of empirical software laws, Planck-like law
22	Guangming Tan, Shengzhong Feng, Ninghui Sun	Cache oblivious algorithms for nonserial polyadic programming.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Nonserial polyadic, Dynamic programming, Data dependencies, Cache oblivious, Algorithmic transformation
22	Ronald Fagin	Inverting schema mappings.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	computational complexity, data integration, dependencies, Data exchange, schema mapping, inverse, chase, second-order logic, metadata model management
22	Anna Rozeva	Dimensional hierarchies: implementation in data warehouse logical scheme design.	CompSysTech	2007	DBLP DOI BibTeX RDF	dimensional hierarchy, logical scheme, metadata, dependencies, data warehouse, OLAP, summarizability
22	Ronald Fagin	Inverting schema mappings.	PODS	2006	DBLP DOI BibTeX RDF	computational complexity, data integration, dependencies, data exchange, schema mapping, inverse, chase, second-order logic, metadata model management
22	Georg Gottlob, Alan Nash	Data exchange: computing cores in polynomial time.	PODS	2006	DBLP DOI BibTeX RDF	complexity, databases, data integration, constraints, dependencies, data exchange, core, conjunctive queries, query evaluation, tractability, chase, universal solutions
22	Martin P. Robillard	Automatic generation of suggestions for program investigation.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	structural program dependencies, static analysis, feature location
22	Liguo Yu, Stephen R. Schach, Kai Chen 0010, A. Jefferson Offutt	Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	definition-use analysis, kernel-based software, dependencies, Modularity, Linux, open-source software, common coupling
22	Giuliano Antoniol, Massimiliano Di Penta	Library Miniaturization Using Static and Dynamic Information.	ICSM	2003	DBLP DOI BibTeX RDF	library miniaturization, dynamic dependencies, trace extraction, genetic algorithms, clustering
22	K. Rustan M. Leino, Greg Nelson	Data abstraction and information hiding.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
22	Laura C. Rivero, Jorge Horacio Doorn, Viviana E. Ferraggine	Elicitation and conversion of hidden objects and restrictions in a database schema.	SAC	2002	DBLP DOI BibTeX RDF	database conceptual schema reengineering, denormalization, pure inclusion dependencies
22	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
22	Edward Omiecinski	A Parallel Algorithm for Relational Database Normalization.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	relational database normalization, database normalization, relation schemes, third normal form algorithm, serial algorithms, minimal covers, parallel algorithm, parallel algorithms, relational databases, correctness, functional dependencies
22	Marc Eisenstadt, John Domingue, Tim Rajan, Enrico Motta	Visual Knowledge Engineering.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	visual knowledge engineering, knowledge encoding, knowledge representation formalisms, large-scale debugging, graphical rule traces, complementary visual programming, KEATS, hypertext transcript analyzer, direct graph manipulation sketchpad, dependency viewers, logical rule dependencies, programming environments, knowledge acquisition, visual programming, knowledge engineering, program visualization, software environment
20	Jasmine Latendresse, Suhaib Mujahid, Diego Elias Costa, Emad Shihab	Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM.	CoRR	2022	DBLP DOI BibTeX RDF
20	Jasmine Latendresse, Suhaib Mujahid, Diego Elias Costa, Emad Shihab	Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM.	ASE	2022	DBLP DOI BibTeX RDF
20	Christian Vorbohle, Daniel Szopinski, Dennis Kundisch	Business Model Dependencies: Towards Conceptualizing Dependencies for Extending Modeling Languages for Business Models.	BMSD	2020	DBLP DOI BibTeX RDF
20	Giuseppe Attardi, Daniele Sartiano, Maria Simi	Linear Neural Parsing and Hybrid Enhancement for Enhanced Universal Dependencies.	IWPT 2020	2020	DBLP DOI BibTeX RDF
20	Gosse Bouma, Djamé Seddah, Daniel Zeman	Overview of the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies.	IWPT 2020	2020	DBLP DOI BibTeX RDF
20	Johannes Heinecke	Hybrid Enhanced Universal Dependencies Parsing.	IWPT 2020	2020	DBLP DOI BibTeX RDF
20	James G. Oxley, Suijie Wang	Dependencies Among Dependencies in Matroids.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
20	Abhijit Mahalunkar, John D. Kelleher	Multi-Element Long Distance Dependencies: Using SPk Languages to Explore the Characteristics of Long-Distance Dependencies.	CoRR	2019	DBLP BibTeX RDF
20	Aleksandra Miletic, Delphine Bernhard, Myriam Bras, Anne-Laure Ligozat, Marianne Vergez-Couret	Transformation d'annotations en parties du discours et lemmes vers le format Universal Dependencies : étude de cas pour l'alsacien et l'occitan (Converting POS-tag and Lemma Annotations into the Universal Dependencies Format : A Case Study on Alsatian and Occitan ).	PFIA (Articles courts)	2019	DBLP BibTeX RDF
20	Youngbin Noh, Jiyoon Han, Tae Hwan Oh, Hansaem Kim	Enhancing Universal Dependencies for Korean.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Niko Partanen, Rogier Blokland, Kyungtae Lim, Thierry Poibeau, Michael Rießler	The First Komi-Zyrian Universal Dependencies Treebanks.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Hiroshi Kanayama, Na-Rae Han, Masayuki Asahara, Jena D. Hwang, Yusuke Miyao, Jinho D. Choi, Yuji Matsumoto 0001	Coordinate Structures in Universal Dependencies for Head-final Languages.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Arya D. McCarthy, Miikka Silfverberg, Ryan Cotterell, Mans Hulden, David Yarowsky	Marrying Universal Dependencies and Universal Morphology.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Alonso Vásquez, Renzo Ego Aguirre, Candy Angulo, John Miller, Claudia Villanueva, Zeljko Agic, Roberto Zariquiey, Arturo Oncevay	Toward Universal Dependencies for Shipibo-Konibo.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Mai Omura, Masayuki Asahara	UD-Japanese BCCWJ: Universal Dependencies Annotation for the Balanced Corpus of Contemporary Written Japanese.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Flavio Massimiliano Cecchini, Marco Passarotti, Paola Marongiu, Daniel Zeman	Challenges in Converting the Index Thomisticus Treebank into Universal Dependencies.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Aleksandrs Berdicevskis, Çagri Çöltekin, Katharina Ehret, Kilu von Prince, Daniel Ross, Bill Thompson 0001, Chunxiao Yan, Vera Demberg, Gary Lupyan, Taraka Rama, Christian Bentz	Using Universal Dependencies in cross-linguistic complexity research.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Ophélie Lacroix	Investigating NP-Chunking with Universal Dependencies for English.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Alina Wróblewska	Extended and Enhanced Polish Dependency Bank in Universal Dependencies Format.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier	SUD or Surface-Syntactic Universal Dependencies: An annotation scheme near-isomorphic to UD.	UDW@EMNLP	2018	DBLP DOI BibTeX RDF
20	Zuchao Li, Shexia He, Zhuosheng Zhang 0001, Hai Zhao 0001	Joint Learning of POS and Dependencies for Multilingual Universal Dependency Parsing.	CoNLL Shared Task (2)	2018	DBLP DOI BibTeX RDF
20	Daniel Zeman, Jan Hajic, Martin Popel, Martin Potthast, Milan Straka, Filip Ginter, Joakim Nivre, Slav Petrov	CoNLL 2018 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies.	CoNLL Shared Task (2)	2018	DBLP DOI BibTeX RDF
20	Henning Köhler, Sebastian Link	Inclusion dependencies and their interaction with functional dependencies in SQL.	J. Comput. Syst. Sci.	2017	DBLP DOI BibTeX RDF
20	Prokopis Prokopidis, Haris Papageorgiou	Universal Dependencies for Greek.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Natalia Levshina	Does Syntactic Informativity Predict Word Length? A Cross-Linguistic Study Based on the Universal Dependencies Corpora.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Hajime Senuma, Akiko Aizawa	Toward Universal Dependencies for Ainu.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Miikka Silfverberg, Mans Hulden	Automatic Morpheme Segmentation and Labeling in Universal Dependencies Resources.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Martin Popel, Zdenek Zabokrtský, Martin Vojtek	Udapi: Universal API for Universal Dependencies.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Çagri Çöltekin, Ben Campbell, Erhard W. Hinrichs, Heike Telljohann	Converting the TüBa-D/Z Treebank of German to Universal Dependencies.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	John Lee 0001, Herman Leung, Keying Li	Towards Universal Dependencies for Learner Chinese.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Aarne Ranta, Prasanth Kolachina	From Universal Dependencies to Abstract Syntax.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Peter Dirix, Liesbeth Augustinus, Daniel R. van Niekerk, Frank Van Eynde	Universal Dependencies for Afrikaans.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Sebastian Schuster, Matthew Lamm, Christopher D. Manning	Gapping Constructions in Universal Dependencies v2.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Natalie Schluter, Zeljko Agic	Empirically Sampling Universal Dependencies.	UDW@NoDaLiDa	2017	DBLP BibTeX RDF
20	Daniel Zeman, Martin Popel, Milan Straka, Jan Hajic, Joakim Nivre, Filip Ginter, Juhani Luotolahti, Sampo Pyysalo, Slav Petrov, Martin Potthast, Francis M. Tyers, Elena Badmaeva, Memduh Gokirmak, Anna Nedoluzhko, Silvie Cinková, Jan Hajic Jr., Jaroslava Hlavácová, Václava Kettnerová, Zdenka Uresová, Jenna Kanerva, Stina Ojala, Anna Missilä, Christopher D. Manning, Sebastian Schuster, Siva Reddy, Dima Taji, Nizar Habash, Herman Leung, Marie-Catherine de Marneffe, Manuela Sanguinetti, Maria Simi, Hiroshi Kanayama, Valeria de Paiva, Kira Droganova, Héctor Martínez Alonso, Çagri Çöltekin, Umut Sulubacak, Hans Uszkoreit, Vivien Macketanz, Aljoscha Burchardt, Kim Harris, Katrin Marheinecke, Georg Rehm, Tolga Kayadelen, Mohammed Attia, Ali El-Kahky, Zhuoran Yu, Emily Pitler, Saran Lertpradit, Michael Mandl, Jesse Kirchner, Hector Fernandez Alcalde, Jana Strnadová, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendonça, Tatiana Lando, Rattima Nitisaroj, Josie Li	CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Tianze Shi, Felix G. Wu, Xilun Chen 0002, Yao Cheng	Combining Global Models for Parsing Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Miryam de Lhoneux, Yan Shao, Ali Basirat, Eliyahu Kiperwasser, Sara Stymne, Yoav Goldberg, Joakim Nivre	From Raw Text to Universal Dependencies - Look, No Tags!	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Stefan Daniel Dumitrescu, Tiberiu Boros, Dan Tufis	RACAI's Natural Language Processing pipeline for Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Ryan Hornby, Clark Taylor, Jungyeul Park	Corpus Selection Approaches for Multilingual Parsing from Raw Text to Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Wanxiang Che, Jiang Guo, Yuxuan Wang 0001, Bo Zheng 0010, Huaipeng Zhao, Yang Liu 0089, Dechuan Teng, Ting Liu 0001	The HIT-SCIR System for End-to-End Parsing of Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Marcos García 0001, Pablo Gamallo 0001	A rule-based system for cross-lingual parsing of Romance languages with Universal Dependencies.	CoNLL Shared Task (2)	2017	DBLP DOI BibTeX RDF
20	Miika Hannula	Reasoning about embedded dependencies using inclusion dependencies.	CoRR	2015	DBLP BibTeX RDF
20	Miika Hannula	Reasoning About Embedded Dependencies Using Inclusion Dependencies.	LPAR	2015	DBLP DOI BibTeX RDF
20	Hongyu Kuang, Patrick Mäder, Hao Hu 0001, Achraf Ghabi, LiGuo Huang, Jian Lv 0001, Alexander Egyed	Do data dependencies in source code complement call dependencies for understanding requirements traceability?	ICSM	2012	DBLP DOI BibTeX RDF
20	Manuel Enciso García-Oliveros, Angel Mora-Bonilla, Pablo Cordero, Rosario Baena	A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms.	ICSOFT (1)	2011	DBLP BibTeX RDF
20	Marcelo Cataldo, Audris Mockus, Jeffrey A. Roberts, James D. Herbsleb	Software Dependencies, Work Dependencies, and Their Impact on Failures.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
20	Susanne Jucknath-John, Jacek Bochnia	Developer Dependencies Meet Code Dependencies.	IASTED Conf. on Software Engineering	2006	DBLP BibTeX RDF
20	Thanh Ha Dang, Dinh Khang Tran	Comments on "Fuzzy data dependencies and implication of fuzzy data dependencies".	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
20	Mark Levene, George Loizou	Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Wei-Yi Liu	Fuzzy data dependencies and implication of fuzzy data dependencies.	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
20	János Demetrovics, Vu Duc Thi	Armstrong Relations, Functional Dependencies and Strong Dependencies.	Comput. Artif. Intell.	1995	DBLP BibTeX RDF
20	János Demetrovics, Lajos Rónyai, Hua nam Son	Functional Dependencies among Boolean Dependencies.	Ann. Math. Artif. Intell.	1993	DBLP DOI BibTeX RDF
20	Marc Gyssens	Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies.	PODS	1985	DBLP DOI BibTeX RDF
20	Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou	Inclusion Dependencies and Their Interaction with Functional Dependencies.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF
20	Moshe Y. Vardi	Inferring Multivalued Dependencies From Functional and Join Dependencies.	Acta Informatica	1983	DBLP DOI BibTeX RDF
20	Fereidoon Sadri, Jeffrey D. Ullman	Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization.	J. ACM	1982	DBLP DOI BibTeX RDF
20	Yehoshua Sagiv, Scott F. Walecka	Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies.	J. ACM	1982	DBLP DOI BibTeX RDF
19	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development
19	Yonatan Myers, Leo Joskowicz	Uncertain geometry with dependencies.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF
19	Murat Can Ganiz, Nikita I. Lytkin, William M. Pottenger	Leveraging Higher Order Dependencies between Features for Text Classification.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF	higher order learning, higher order naive bayes, higher order support vector machine, machine learning, text classification, statistical relational learning
19	Shaoxu Song, Lei Chen 0002	Discovering matching dependencies.	CIKM	2009	DBLP DOI BibTeX RDF	matching depedencies
19	Nick Koudas, Avishek Saha, Divesh Srivastava, Suresh Venkatasubramanian	Metric Functional Dependencies.	ICDE	2009	DBLP DOI BibTeX RDF
19	Wenfei Fan, Floris Geerts, Laks V. S. Lakshmanan, Ming Xiong	Discovering Conditional Functional Dependencies.	ICDE	2009	DBLP DOI BibTeX RDF
19	Marcio K. Oikawa, João Eduardo Ferreira, Simon Malkowski, Calton Pu	Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.	BPM	2009	DBLP DOI BibTeX RDF	series-parallel reductions and process algebra, business process modeling, directed acyclic graphs
19	Florian Lonsing, Armin Biere	A Compact Representation for Syntactic Dependencies in QBFs.	SAT	2009	DBLP DOI BibTeX RDF
19	Takushi Tanaka	Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar.	KES (2)	2009	DBLP DOI BibTeX RDF
19	Thomas Zimmermann 0001, Nachiappan Nagappan	Predicting defects with program dependencies.	ESEM	2009	DBLP DOI BibTeX RDF
19	Hui Wan 0001	Belief Logic Programming with Cyclic Dependencies.	RR	2009	DBLP DOI BibTeX RDF
19	Sebastian Link	Charting the completeness frontier of inference systems for multivalued dependencies.	Acta Informatica	2008	DBLP DOI BibTeX RDF
19	Jaewoo Kang, Jeffrey F. Naughton	Schema Matching Using Interattribute Dependencies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
19	Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis	Conditional functional dependencies for capturing data inconsistencies.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	SQL, functional dependency, Data cleaning
19	Kreetta Askola, Rauli Puuperä, Pekka Pietikäinen, Juhani Eronen, Marko Laakso, Kimmo Halunen, Juha Röning	Vulnerability Dependencies in Antivirus Software.	SECURWARE	2008	DBLP DOI BibTeX RDF
19	Marko Samer	Variable Dependencies of Quantified CSPs.	LPAR	2008	DBLP DOI BibTeX RDF
19	Roberto Santana 0001, Pedro Larrañaga, José Antonio Lozano 0001	Adding Probabilistic Dependencies to the Search of Protein Side Chain Configurations Using EDAs.	PPSN	2008	DBLP DOI BibTeX RDF	probabilistic models, estimation of distribution algorithm, protein structure prediction
19	Yana Volkovich, Nelly Litvak, Bert Zwart	Measuring extremal dependencies in web graphs.	WWW	2008	DBLP DOI BibTeX RDF	web, wikipedia, pagerank, preferential attachment, regular variation
19	Ji Ming, Jie Lin	Modeling long-range dependencies in speech data for text-independent speaker recognition.	ICASSP	2008	DBLP DOI BibTeX RDF
19	Trosky Boris Callo Arias, Paris Avgeriou, Pierre America	Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies.	WCRE	2008	DBLP DOI BibTeX RDF
19	Marek Kowalkiewicz, Ruopeng Lu, Stefan Bäuerle, Marita Krümpelmann, Sonia Lippe	Weak Dependencies in Business Process Models.	BIS	2008	DBLP DOI BibTeX RDF	workflow modelling, flexible workflows, ad hoc workflows
19	Maria Rosário de Oliveira, António Pacheco 0001, Cláudia Pascoal, Rui Valadas, Paulo Salvador 0001	On the Dependencies between Internet Flow Characteristics.	FITraMEn	2008	DBLP DOI BibTeX RDF
19	David Harel, Itai Segall	Visualizing inter-dependencies between scenarios.	SOFTVIS	2008	DBLP DOI BibTeX RDF
19	Yiyong Xiao, Ikou Kaku, Wenbing Chang	Phi-Rough Sets Theory and Its Usage on Mining Approximate Dependencies.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Approximate dependency, Partial approximate dependency, Database, Functional dependency, Rough set theory
19	Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone	Extending Attribute Dependencies for Lattice-Based Querying and Navigation.	ICCS	2008	DBLP DOI BibTeX RDF
19	Klaus Scheibenberger, Ingo Pansa	Modelling dependencies of IT Infrastructure elements.	BDIM	2008	DBLP DOI BibTeX RDF
19	Susanna Donatelli	Dependent Automata for the Modelling of Dependencies.	CRITIS	2008	DBLP DOI BibTeX RDF
19	Luís Nogueira, Luís Miguel Pinho	Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.	DIPES	2008	DBLP DOI BibTeX RDF
19	Hadrien Cambazard, Barry O'Sullivan	Reformulating Positive Table Constraints Using Functional Dependencies.	CP	2008	DBLP DOI BibTeX RDF