Formal Definition of Flocks

• Parameterized query with aggregation and a filter condition

  • nonrecursive datalog with parameters
    answer(B) :- baskets(B,$1)
    AND baskets(B,$2) AND $1<$2
  • arithmetic condition with aggregation
    COUNT(answer.B) >= c

Previous slide

Next slide

Back to first slide

View graphic version