lbug 0.17.0

An in-process property graph database management system built for query speed and scalability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

#pragma once

#include <mutex>
#include <unordered_set>
#include <vector>

#include "catalog/catalog_entry/rel_group_catalog_entry.h"
#include "common/exception/runtime.h"
#include "common/types/internal_id_util.h"
#include "storage/table/rel_table.h"

namespace lbug {
namespace storage {

// Abstract base class for columnar-format relationship tables (Icebug-Disk, Arrow, etc.)
class ColumnarRelTableBase : public RelTable {
public:
    ColumnarRelTableBase(catalog::RelGroupCatalogEntry* relGroupEntry,
        common::table_id_t fromTableID, common::table_id_t toTableID,
        const StorageManager* storageManager, MemoryManager* memoryManager)
        : RelTable{relGroupEntry, fromTableID, toTableID, storageManager, memoryManager},
          relGroupEntry{relGroupEntry} {}

    virtual ~ColumnarRelTableBase() = default;

    // Columnar tables don't support modifications
    void insert([[maybe_unused]] transaction::Transaction* transaction,
        [[maybe_unused]] TableInsertState& insertState) final {
        throw common::RuntimeException(
            "Cannot insert into " + getColumnarFormatName() + "-backed rel table");
    }

    void update([[maybe_unused]] transaction::Transaction* transaction,
        [[maybe_unused]] TableUpdateState& updateState) final {
        throw common::RuntimeException(
            "Cannot update " + getColumnarFormatName() + "-backed rel table");
    }

    bool delete_([[maybe_unused]] transaction::Transaction* transaction,
        [[maybe_unused]] TableDeleteState& deleteState) final {
        throw common::RuntimeException(
            "Cannot delete from " + getColumnarFormatName() + "-backed rel table");
        return false;
    }

    common::row_idx_t getNumTotalRows(const transaction::Transaction* transaction) override;
    common::row_idx_t getNumActiveBoundNodes(const transaction::Transaction* transaction,
        common::RelDataDirection direction) override;
    std::vector<std::pair<common::offset_t, common::row_idx_t>> getDegreeEntries(
        const transaction::Transaction* transaction, common::RelDataDirection direction) override;
    std::vector<std::pair<common::offset_t, common::row_idx_t>> getTopKDegrees(
        const transaction::Transaction* transaction, common::RelDataDirection direction,
        common::idx_t k) override;

protected:
    catalog::RelGroupCatalogEntry* relGroupEntry;
    mutable std::mutex dataAccessMutex;

    // Template method pattern: subclasses implement format-specific operations
    virtual std::string getColumnarFormatName() const = 0;
    virtual common::row_idx_t getTotalRowCount(
        const transaction::Transaction* transaction) const = 0;
    virtual common::row_idx_t getActiveBoundNodeCount(const transaction::Transaction* transaction,
        common::RelDataDirection direction) const = 0;
    virtual std::vector<std::pair<common::offset_t, common::row_idx_t>> getAllDegreeEntries(
        const transaction::Transaction* transaction, common::RelDataDirection direction) const = 0;
    virtual std::vector<std::pair<common::offset_t, common::row_idx_t>> getTopKDegreeEntries(
        const transaction::Transaction* transaction, common::RelDataDirection direction,
        common::idx_t k) const = 0;

    // Helper for finding source node in CSR format
    // Subclasses should cache indptr data and provide it via this interface
    virtual common::offset_t findSourceNodeForRowInternal(common::offset_t globalRowIdx,
        const std::vector<common::offset_t>& indptrData) const;
};

} // namespace storage
} // namespace lbug