移行の時：NULLとBagなしでのクエリ

コンピュータサイエンス > データベース arXiv:2608.10863 (cs) [2026年8月11日提出] タイトル：移行の時：NULLとBagなしでのクエリ 著者：Molham Aref, Leonid Libkin, Wim Martens Molham Aref、Leonid Libkin、Wim Martensによる「Time to Move on: Querying without Nulls and Bags」というタイトルのPDFを表示 要旨： SQLは、言語設計の観点からデータベースコミュニティの成功事例です。その成功の主な理由は宣言的な性質であり、最適化可能性につながり、プログラマーの負担を大幅に軽減します。しかし、クエリ言語で解決すべき問題の複雑性が進化するにつれて、私たちのコミュニティは、初期の基本的なクエリ言語設計上の決定のいくつかについて再考する必要があります。Rel（エンドツーエンドのリレーショナルプログラミングのための言語）の設計に携わった経験から、完全に正規化されたリレーションに基づいた言語を設計、実装、および正常にデプロイすることが可能であることがわかります。そのようなリレーションは、Coddが「破損したリレーション」と呼び、私たちが一般的にBagと呼ぶもの、そして私たちが「有害な」「数十億ドル規模のミス」として知っているNULLを回避します。SQLの世界では、BagとNULLは避けられない悪として容認されていることが受け入れられています。私たちは、その悪は完全に回避可能であると主張します。BagとNULLを正当化する理由は、より詳細な検討で消滅します。それらを否定するだけでなく、NULLフリーでセットセマンティクスを持つ言語が提供する機会についても説明します。 件名：データベース (cs.DB)；プログラミング言語 (cs.PL) 引用形式：arXiv:2608.10863 [cs.DB] (またはこのバージョンのarXiv:2608.10863v1 [cs.DB]) https://doi.org/10.48550/arXiv.2608.10863 詳細はこちらをご覧ください arXiv発行DOI（DataCite経由） 提出履歴 送信者：Leonid Libkin [メールを表示] [v1] 火曜日、2026年8月11日 12:34:39 UTC (105 KB) 全文リンク： 論文にアクセス：Molham Aref、Leonid Libkin、Wim Martensによる「Time to Move on: Querying without Nulls and Bags」というタイトルのPDFを表示 PDFを表示 TeXソースを表示 ライセンスを表示 現在のブラウズコンテキスト：cs.DB < 前 | 次 > 新規 | 最近 | 2026-08 ブラウズ方法を変更：cs cs.PL 参考文献と引用 NASA ADS Google Scholar Semantic Scholar エクスポート BibTeX引用 読み込み中... BibTeX形式の引用 × 読み込み中... 提供元データ： ブックマーク 書誌ツール 書誌および引用ツール 書誌エクスプローラー 書誌エクスプローラーを切り替える（エクスプローラーとは何ですか？） Connected Papers Connected Papersを切り替える（Connected Papersとは何ですか？） Litmaps Litmapsを切り替える（Litmapsとは何ですか？） scite.ai sciteスマート引用を切り替える（スマート引用とは何ですか？） コード、データ、メディア この論文に関連するコード、データ、メディア alphaXiv alphaXivを切り替える（alphaXivとは何ですか？） コードへのリンク CatalyzeX 論文用コードファインダー（CatalyzeXとは何ですか？） DagsHub DagsHubを切り替える（DagsHubとは何ですか？） GotitPub Gotit.pubを切り替える（GotitPubとは何ですか？） Huggingface Hugging Faceを切り替える（Huggingfaceとは何ですか？） ScienceCast ScienceCastを切り替える（ScienceCastとは何ですか？） デモ デモ Replicate Replicateを切り替える（Replicateとは何ですか？） Spaces Hugging Face Spacesを切り替える（Spacesとは何ですか？） Spaces TXYZ.AIを切り替える（TXYZ.AIとは何ですか？） 関連記事 レコメンダーおよび検索ツール Influence Flowerへのリンク Influence Flower（Influence Flowersとは何ですか？） Coreレコメンダー COREレコメンダーを切り替える（COREレコメンダーとは何ですか？） 著者 会場 機関 トピック arXivLabsについて arXivLabs：コミュニティ協力者との実験的なプロジェクト arXivLabsは、協力者がarXivの新しい機能を直接ウェブサイトで開発および共有できるフレームワークです。arXivLabsと協力する個人および組織は、オープンさ、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を受け入れ、受け入れています。arXivはこの価値観にコミットしており、それらを遵守するパートナーのみと協力します。 コミュニティに価値をもたらすプロジェクトのアイデアがありますか？arXivLabsの詳細をご覧ください。 この論文の著者のうち、誰が推薦者ですか？ MathJaxを無効にする（MathJaxとは何ですか？）