Datalog에서 고유성 쿼리?

Question

Datalog에서 다른 변수의 각 가능한 값에 대해 변수 중 하나에 정확히 하나의 값이있는 사실에 대한 쿼리를 작성할 수 있습니까?

찾아 모든 X 하나의 X에 대한 당신이 계산 첫째로이 표현할 수있는 각 Y 일반 데이터 로그에서

Answer 1

expr(X, Y)에를가하도록 Y의 두 개 이상의 X가 다음 Y의 1 X.과를 계산하는 것을 사용하여 해당

problem(y) <- expr(x1, y), expr(x2, y), x1 != x2. 
    exactly_one_opt1(y) <- expr(_, y), !problem(y). 

대부분의 시스템은 더 효율적인 솔루션 인 집합을 지원하지만 집계 구문은 표준 Datalog가 아닙니다. 여기 LogiQL (LogicBlox Datalog) 구.을 사용하고 있습니다.

count[y] = c <- agg<<c = count()>> expr(_, y). 
    exactly_one_opt2(y) <- count[y] = 1.