"Mapping refinement"@en . . "Type inference"@en . "CONSTRAINT PROGRAMMING"@en . "Relational Calculus"@en . "Information systems"@en . "Data exchange"@en . . "Functional dependencies"@en . "Langage \u00E0 base de r\u00E8gle"@fr . "R\u00E9\u00E9criture"@fr . . "Emmanuel Coquery" . "CONSTRAINT LOGIC PROGRAMMING"@en . "Query Optimization"@en . "RDF"@en . . "Inference leakage"@en . "Authorization"@en . "Query processing"@en . "Semantic reasoning"@en . "Implications"@en . "CONSTRAINT HANDLING RULES"@en . . "Query Languages"@en . "Machine Learning"@en . "Contraints"@en . "Descriptive typing"@en . "Rule based language"@fr . "Web services replaceability"@en . "Privacy policies"@en . "Enforcement"@en . . "Emmanuel" . "Business protocols analysis"@en . "Deep Learning"@en . "Linked Data"@en . "QUASI-LATTICES"@fr . . . "Data Imputation"@en . "Syst\u00E8me de type"@fr . . "Type system"@fr . "Attribute Noise"@en . "Privacy analysis"@en . "Data Denoising"@en . . "SUBTYPING CONSTRAINTS"@fr . "Rewriting"@fr . "86678508c61a526095ac25f30e084bb3" . "Data integration"@en . "Coquery" . . "Prescriptive typing"@en . "User interaction"@en . "Contraintes"@fr . "Rule based languages"@en . "Pattern mining"@en . "Formal Concept Analysis"@en . "Polymorphic typing"@en . "Databases"@en . "Constraint"@fr . <089022661> . "Rewrite calculus"@en . .