• Publications
  • Influence
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence
TLDR
In this paper we propose a satisfiability-based approach for enumerating all frequent, closed and maximal patterns with wildcards in a given sequence. Expand
  • 54
  • 4
  • PDF
Interactive Mapping Specification with Exemplar Tuples
TLDR
In this paper, we present an interactive framework for schema mapping specification suited for non-expert users. Expand
  • 16
  • 2
  • PDF
RQL: A SQL-Like Query Language for Discovering Meaningful Rules
TLDR
The Rule Query Language (RQL) is an SQL-like pattern mining language that extends and generalizes functional dependencies to new and unexpected rules. Expand
  • 8
  • 2
  • PDF
Typing constraint logic programs
TLDR
We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. Expand
  • 21
  • 1
  • PDF
Descriptive Typing Rules for Xcerpt
TLDR
We present typing rules for the Web query language Xcerpt. Expand
  • 21
  • 1
  • PDF
A Constraint Programming Approach for Enumerating Motifs in a Sequence
TLDR
In this paper we propose a constraint programming approach for enumerating all frequent patterns with wildcards in a given sequence. Expand
  • 14
  • 1
  • PDF
Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control
TLDR
A high-level analysis and management of business protocols of Web services by analyzing their business protocols after assigning the access control policies is the main contribution of this work. Expand
  • 8
  • 1
  • PDF
Access control to materialized views: an inference-based approach
TLDR
This paper mainly discusses the problem of automatically ensuring confidentiality of materialized views based on basic access control rules, and identifies formal tools to tackle the problem. Expand
  • 7
  • 1
  • PDF
Authorization Policies for Materialized Views
TLDR
In this paper, we propose a novel approach to facilitate the administration of access control policies to ensure the confidentiality of data at the level of materialized views. Expand
  • 6
  • 1
  • PDF
A Type System for CHR
TLDR
We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. Expand
  • 7
  • 1
  • PDF
...
1
2
3
4
5
...