«finite-model-theory» 태그된 질문

한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Immerman 에 따르면 SQL 쿼리 와 관련된 복잡성 클래스 는 Q ( F O ( C O U N T ) ) 의 안전한 쿼리 클래스입니다 (일차 쿼리와 계산 연산자). SQL은 안전한 쿼리를 캡처합니다. (즉, 모든 SQL 쿼리의 복잡도가 Q ( F O ( C O U N T ) …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

차분 연산자 (예 : EXCEPT일부 SQL 변형)는 관계 대수의 많은 기본 연산자 중 하나입니다. 그러나 차이 설정 연산자를 직접 지원하지 않지만 지원하는 LEFT JOIN(일종의 외부 조인) 데이터베이스가 있으며 실제로는 차이 설정 작업 대신 동일한 효과를 얻기 위해 사용할 수 있습니다. 이는 LEFT JOIN연산자가 유지 되는 한, 차이 설정 연산자 없이도 …

19 database-theory  relational-algebra  finite-model-theory 

프로그램 분석에서 최소 고정 소수점 (lfp)의 중요성에 대해 큰 그림을 얻으려고합니다. 예를 들어 추상 해석은 lfp의 존재를 사용하는 것 같습니다. 프로그램 분석에 관한 많은 연구 논문들도 고정 점을 찾는 데 중점을두고 있습니다. 보다 구체적으로, 위키피디아 의이 기사 : Knaster-Tarski Theorem 은 lfp가 프로그램 의미론을 정의하는 데 사용된다고 언급합니다. 왜 중요 …

11 programming-languages  finite-model-theory  fixed-point