Results 1  10
of
39
Design of a rolebased trust management framework
 In Proceedings of the 2002 IEEE Symposium on Security and Privacy
, 2002
"... We introduce the RT framework, a family of Rolebased Trustmanagement languages for representing policies and credentials in distributed authorization. RT combines the strengths of rolebased access control and trustmanagement systems and is especially suitable for attributebased access control. Usi ..."
Abstract

Cited by 350 (42 self)
 Add to MetaCart
(Show Context)
We introduce the RT framework, a family of Rolebased Trustmanagement languages for representing policies and credentials in distributed authorization. RT combines the strengths of rolebased access control and trustmanagement systems and is especially suitable for attributebased access control. Using a few simple credential forms, RT provides localized authority over roles, delegation in role definition, linked roles, and parameterized roles. RT also introduces manifold roles, which can be used to express threshold and separationofduty policies, and delegation of role activations. We formally define the semantics of credentials in the RT framework by presenting a translation from credentials to Datalog rules. This translation also shows that this semantics is algorithmically tractable. 1
Foundations of Semantic Web Databases
 IN: PODS ’04: PROCEEDINGS OF THE TWENTYTHIRD ACM SIGMODSIGACTSIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
, 2004
"... The Semantic Web is based on the idea of adding more machinereadable semantics to web information via annotations written in a language called the Resource Description Framework (RDF). RDF resembles a subset of binary firstorder logic including the ability to refer to anonymous objects. Its extend ..."
Abstract

Cited by 112 (22 self)
 Add to MetaCart
The Semantic Web is based on the idea of adding more machinereadable semantics to web information via annotations written in a language called the Resource Description Framework (RDF). RDF resembles a subset of binary firstorder logic including the ability to refer to anonymous objects. Its extended version, RDFS, supports reification, typing and inheritance. These features introduce new challenges into the formal study of sets of RDF/RDFS statements and languages for querying them. Although several such query languages have been proposed, there has been little work on foundational aspects. We investigate these, including computational aspects of testing entailment and redundancy. We propose a query language with welldefined semantics and study the complexity of query processing, query containment, and simplification of answers.
Constraint solving via fractional edge covers
 In Proceedings of the of the 17th Annual ACMSIAM Symposium on Discrete Algorithms
, 2006
"... Many important combinatorial problems can be modelled as constraint satisfaction problems, hence identifying polynomialtime solvable classes of constraint satisfaction problems received a lot of attention. In this paper, we are interested in structural properties that can make the problem tractable ..."
Abstract

Cited by 53 (9 self)
 Add to MetaCart
Many important combinatorial problems can be modelled as constraint satisfaction problems, hence identifying polynomialtime solvable classes of constraint satisfaction problems received a lot of attention. In this paper, we are interested in structural properties that can make the problem tractable. So far, the largest structural class that is known to be polynomialtime solvable is the class of bounded hypertree width instances introduced by Gottlob et al. [20]. Here we identify a new class of polynomialtime solvable instances: those having bounded fractional edge cover number. Combining hypertree width and fractional edge cover number, we then introduce the notion of fractional hypertree width. We prove that constraint satisfaction problems with bounded fractional hypertree width can be solved in polynomial time (provided that a the tree decomposition is given in the input). We also prove that certain parameterized constraint satisfaction, homomorphism, and embedding problems are fixedparameter tractable on instances having bounded fractional hypertree width. 1.
Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem
, 2006
"... The Counting Constraint Satisfaction Problem (#CSP) can be expressed as follows: given a set of variables, a set of values that can be taken by the variables, and a set of constraints specifying some restrictions on the values that can be taken simultaneously by some variables, determine the number ..."
Abstract

Cited by 51 (9 self)
 Add to MetaCart
The Counting Constraint Satisfaction Problem (#CSP) can be expressed as follows: given a set of variables, a set of values that can be taken by the variables, and a set of constraints specifying some restrictions on the values that can be taken simultaneously by some variables, determine the number of assignments of values to variables that satisfy all the constraints. The #CSP provides a general framework for numerous counting combinatorial problems including counting satisfying assignments to a propositional formula, counting graph homomorphisms, graph reliability and many others. This problem can be parametrized by the set of relations that may appear in a constraint. In this paper we start a systematic study of subclasses of the #CSP restricted in this way. The ultimate goal of this investigation is to distinguish those restricted subclasses of the #CSP which are solvable in polynomial time from those which are not. We show that the complexity of any restricted #CSP class on a finite domain can be deduced from the properties of polymorphisms of the allowed constraints, similar to that for the decision constraint satisfaction problem. Then we prove that if a subclass of the #CSP is solvable in polynomial time, then constraints allowed by the class satisfy some very restrictive condition: they need to have a Mal’tsev polymorphism, that is a ternary operation m(x, y, z) such that m(x, y, y) = m(y, y, x) = x. This condition uniformly explains many existing complexity results for particular cases of the #CSP, including the dichotomy results for the problem of counting graph homomorphisms, and it allows us to obtain new results.
LOGICS FOR UNRANKED TREES: AN OVERVIEW
 CONSIDERED FOR PUBLICATION IN LOGICAL METHODS IN COMPUTER SCIENCE
, 2006
"... Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to ..."
Abstract

Cited by 40 (7 self)
 Add to MetaCart
(Show Context)
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their modelchecking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees.
Fixedparameter tractability, definability, and model checking
 SIAM JOURNAL ON COMPUTING
, 2001
"... In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized modelchecking problems for various fragments of firstorder logic as generic parameterized problems and show how this ap ..."
Abstract

Cited by 40 (13 self)
 Add to MetaCart
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized modelchecking problems for various fragments of firstorder logic as generic parameterized problems and show how this approach can be useful in studying both fixedparameter tractability and intractability. For example, we establish the equivalence between the modelchecking for existential firstorder logic, the homomorphism problem for relational structures, and the substructure isomorphism problem. Our main tractability result shows that modelchecking for firstorder formulas is fixedparameter tractable when restricted to a class of input structures with an excluded minor. On the intractability side, for everyØ�we prove an equivalence between modelchecking for firstorder formulas withØquantifier alternations and the parameterized halting problem for alternating Turing machines withØalternations. We discuss the close connection between this alternation hierarchy and Downey and Fellows ’ Whierarchy. On a more abstract level, we consider two forms of definability, called Fagin definability and slicewise definability, that are appropriate for describing parameterized problems. We give a characterization of the class FPT of all fixedparameter tractable problems in terms of slicewise definability in finite variable least fixedpoint logic, which is reminiscent of the ImmermanVardi Theorem characterizing the class PTIME in terms of definability in least fixedpoint logic.
Hypertree decompositions: A survey
 In: MFCS ’01: Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
, 2001
"... Abstract. This paper surveys recent results related to the concept of hypertree decomposition and the associated notion of hypertree width. A hypertree decomposition of a hypergraph (similar to a tree decomposition of a graph) is a suitable clustering of its hyperedges yielding a tree or a forest. I ..."
Abstract

Cited by 39 (5 self)
 Add to MetaCart
(Show Context)
Abstract. This paper surveys recent results related to the concept of hypertree decomposition and the associated notion of hypertree width. A hypertree decomposition of a hypergraph (similar to a tree decomposition of a graph) is a suitable clustering of its hyperedges yielding a tree or a forest. Important NP hard problems become tractable if restricted to instances whose associated hypergraphs are of bounded hypertree width. We also review a number of complexity results on problems whose structure is described by acyclic or nearly acyclic hypergraphs. 1
Can you beat treewidth?
, 2007
"... It is wellknown that constraint satisfaction problems (CSP) can be solved in time n O(k) if the treewidth of the primal graph of the instance is at most k and n is the size of the input. We show that no algorithm can be significantly better than this treewidthbased algorithm, even if we restrict t ..."
Abstract

Cited by 37 (8 self)
 Add to MetaCart
It is wellknown that constraint satisfaction problems (CSP) can be solved in time n O(k) if the treewidth of the primal graph of the instance is at most k and n is the size of the input. We show that no algorithm can be significantly better than this treewidthbased algorithm, even if we restrict the problem to some special class of primal graphs. Formally, let G be an arbitrary class of graphs and assume that there is an algorithm A solving binary CSP for instances whose primal graph is in G. We prove that if the running time of A is f(G)n o(k/logk) , where k is the treewidth of the primal graph G and f is an arbitrary function, then the Exponential Time Hypothesis fails. We prove the result also in the more general framework of the homomorphism problem for boundedarity relational structures. For this problem, the treewidth of the core of the lefthand side structure plays the same role as the treewidth of the primal graph above.
Fixedparameter algorithms for artificial intelligence, constraint satisfaction, and database problems
, 2007
"... We survey the parameterized complexity of problems that arise in artificial intelligence, database theory and automated reasoning. In particular, we consider various parameterizations of the constraint satisfaction problem, the evaluation problem of Boolean conjunctive database queries and the propo ..."
Abstract

Cited by 31 (10 self)
 Add to MetaCart
(Show Context)
We survey the parameterized complexity of problems that arise in artificial intelligence, database theory and automated reasoning. In particular, we consider various parameterizations of the constraint satisfaction problem, the evaluation problem of Boolean conjunctive database queries and the propositional satisfiability problem. Furthermore, we survey parameterized algorithms for problems arising in the context of the stable model semantics of logic programs, for a number of other problems of nonmonotonic reasoning, and for the computation of cores in data exchange.
On acyclic conjunctive queries and constant delay enumeration
 IN PROCEEDINGS OF THE 16TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE AND LOGIC (CSL 2007), LNCS 4646
, 2007
"... We study the enumeration complexity of the natural extension of acyclic conjunctive queries with disequalities. In this language, a number of NPcomplete problems can be expressed. We first improve a previous result of Papadimitriou and Yannakakis by proving that such queries can be computed in ti ..."
Abstract

Cited by 21 (8 self)
 Add to MetaCart
We study the enumeration complexity of the natural extension of acyclic conjunctive queries with disequalities. In this language, a number of NPcomplete problems can be expressed. We first improve a previous result of Papadimitriou and Yannakakis by proving that such queries can be computed in time c.M.ϕ(M)  where M is the structure, ϕ(M) is the result set of the query and c is a simple exponential in the size of the formula ϕ. A consequence of our method is that, in the general case, tuples of such queries can be enumerated with a linear delay between two tuples. We then introduce a large subclass of acyclic formulas called CCQ = and prove that the tuples of a CCQ = query can be enumerated with a linear time precomputation and a constant delay between consecutive solutions. Moreover, under the hypothesis that the multiplication of two n × n boolean matrices cannot be done in time O(n 2), this leads to the following dichotomy for acyclic queries: either such a query is in CCQ = or it cannot be enumerated with linear precomputation and constant delay. Furthermore we prove that testing whether an acyclic formula is in CCQ = can be performed in polynomial time. Finally, the notion of freeconnex treewidth of a structure is defined. We show that for each query of freeconnex treewidth bounded by some constant k, enumeration of results can be done with O(M  k+1) precomputation steps and constant delay.