Pacemaker Booth を用いたディザスタリカバリ

Booth は、Pacemaker で物理ネットワークが異なるサイト間のクラスタ管理を行うアドオン機能で、サイトにチケットを付与することで、リソースが稼働するサイトを制御します。Booth を使うことで災害対策として遠隔地サイトにまたがるクラスタを実現できます。

本記事では、Booth の概要、インストール・設定方法、基本的な使い方について紹介します。

続きを読む

PostgreSQL 15検証報告

更新日: 2022年10月20日

2022年10月にリリースされたPostgreSQL 15の主要な新機能について動作検証を行った結果を報告します。

本検証レポートはコマンド実行手順も詳細に記載していますので、PostgreSQL 15 を使って実際に新機能を確認したい方のガイドブックとしても活用できます。

続きを読む

Zabbix 6.2 の紹介

本記事では、2022/7/4 にリリースされた Zabbix 6.2.0 で追加された機能や変更点について解説します。

続きを読む

redis_fdw による PostgreSQL と Redis の連携

redis_fdw は、リレーショナルデータベース PostgreSQL からキーバリューストア Redis にアクセスする拡張モジュールです。redis_fdw を使うことで、高速なデータの読み書きができる Redis と、SQL で複雑なデータの操作ができる PostgreSQL 間で円滑なデータの連携ができます。

この記事では、redis_fdw の概要、インストール、基本的な使い方、テーブルオプションについて説明します。なお、Redis 自体の説明については Redis の紹介 をお読みください。

続きを読む

増永教授のDB特論⑦
「 SQL とバッグ意味論 ―重複タップルの部分削除―」

 

1. はじめに

 リレーショナルデータモデルの始祖コッド（E.F. Codd）はリレーション（relation）とは集合（set）であると定義しました．ここに，集合とは数学における「集合」を意味し，集合論の始祖カントール（G. Cantor）は「集合とは異なる元（element）の集まり」と定義しました．したがって，リレーションに重複したタップル（tuple）は出現しません．また，それが故にリレーションには必ず「キー」が定義できます．
 一方，国際標準リレーショナルデータベース言語 SQL (以下，SQL) で定義されるテーブル (table，表) は集合ではありません・・・・．テーブルでは重複したタップルの出現が許されるからです．したがって，テーブルでは必ずしもキーを定義できるわけではありません．
 テーブルは一般的にはバッグ（bag），数学ではマルチ集合（multiset）と呼ばれます．リレーションとテーブルの違いは，フォーマルには，リレーショナルデータモデルは集合意味論 (set semantics) に則り，SQL はバッグ意味論（bag semantics）に則った体系であると説明できます．意味論が違うので，当然のことながらリレーショナルデータモデルと実践のためのSQLではいろいろと違いが出てきます．本稿では，リレーションに対するデータ操作では起こり得ませんが，テーブルのデータ操作で発生する「重複タップルの部分削除」（partial delete of duplicate tuples）に焦点を当てて，少しく蘊蓄うんちくを傾けてみたいと思います．
 
続きを読む