bench_j1axy_3.h

Go to the documentation of this file.

// ============================================================================
// Project:     Deductive Database
// Filename:    bench_j1axy_3.h
// Purpose:     Benchmark Join1, a(X,Y), Ver. 7: goto, bitmap dupcheck, cursor
// Last Change: 24.08.2016
// Language:    C++
// EMail:       brass@informatik.uni-halle.de
// WWW:         http://www.informatik.uni-halle.de/~brass/
// Address:     Feldschloesschen 15, D-06120 Halle (Saale), GERMANY
// Copyright:   (c) 2015-2016 by Stefan Brass
// License:     See file "LICENSE" for copying conditions.
// Note:        There is no warranty at all - this code may contain bugs.
// ============================================================================


//=============================================================================
// Include File Frame:
//=============================================================================

#ifndef BENCH_J1AXY_3_INCLUDED
#define BENCH_J1AXY_3_INCLUDED


//=============================================================================
// This Benchmark is optional:
//=============================================================================

#ifndef VER_INCLUDED
#include "../base/ver.h"
#endif

#if     VER_BENCH_J1AXY_3


//=============================================================================
// Used Types and Macros:
//=============================================================================


#ifndef STR_INCLUDED
#include "../base/str.h"
#endif

#ifndef CHECK_INCLUDED
#include "../base/check.h"
#endif

#ifndef LIST_2_INCLUDED
#include "../rel/list_2.h"
#endif

#ifndef CUR_2_INCLUDED
#include "../rel/cur_2.h"
#endif

#ifndef SET_TT_INCLUDED
#include "../rel/set_tt.h"
#endif

#ifndef REL_N_N_INCLUDED
#include "../rel/rel_n_n.h"
#endif

#ifndef CUR_N_N_INCLUDED
#include "../rel/cur_n_n.h"
#endif

#ifndef BENCH_INCLUDED
#include "bench.h"
#endif


//=============================================================================
// Private Constants:
//=============================================================================

//-----------------------------------------------------------------------------
// BENCH_J1AXY_3_MAGIC: Magic number (identifies objects of this class).
//-----------------------------------------------------------------------------

static const long BENCH_J1AXY_3_MAGIC = 0x4A31410AL;    // 'J1A\n'


//=============================================================================
// Benchmark Join1, a(X,Y), Ver. 7: goto, duplicate check, cursor interface
//=============================================================================

class bench_j1axy_3_c : public bench_c {
        public:


//-----------------------------------------------------------------------------
// Constructor, Destructor:
//-----------------------------------------------------------------------------

        public:

        // Constructor:
        bench_j1axy_3_c();

        // Destructor:
        ~bench_j1axy_3_c();

//-----------------------------------------------------------------------------
// (Object) Methods:
//-----------------------------------------------------------------------------

        // load: Load data file with EDB facts.
        bool load(str_t filename);

        // eval: Do bottom-up evaluation.
        long eval();

        // name: Name of this benchmark.
        str_t name() const {
                return "Join 1, a(X,Y), Ver. 7: goto, bitmap dupcheck, cursor";
        }

        // file: List of data files.
        str_t file(int i) const;

        // result: List of correct results of the eval method.
        long result(int i) const;

        // Open cursor (note: load() must be called before this method).
        void open();

        // fetch: Get next tuple, returns false if there is no further tuple.
        bool fetch();


        // c1: Return value for column 1 of current row in cursor.
        inline int c1() {
                // answer(v_2_1,v_5_2)
                return v_2_1;
        }

        // c2: Return value for column 2 of current row in cursor.
        inline int c2() {
                // answer(v_2_1,v_5_2)
                return v_5_2;
        }

        // error: Did an error occur?
        inline bool error() {
                // EDB relations:
                if(c2_bf.mem_err())
                        return true;
                if(c3_ff.mem_err())
                        return true;
                if(c4_bf.mem_err())
                        return true;
                if(d1_ff.mem_err())
                        return true;
                if(d2_bf.mem_err())
                        return true;

                // Derived b1 tuples (for rule with two IDB lit):
                if(b1_fb.mem_err())
                        return true;

                // Sets for duplicate checks:
                if(b1_bb.mem_err())
                        return true;
                if(b2_bb.mem_err())
                        return true;
                if(c1_bb.mem_err())
                        return true;
                if(a_bb.mem_err())
                        return true;

                // Error with backtrack stacks:
                return Error;
        }

        // close: Close cursor.
        inline void close() {
        }

//-----------------------------------------------------------------------------
// Copy-constructor and assignment operator are not supported for this class:
//-----------------------------------------------------------------------------

        private:

        // These methods are not implemented:
        bench_j1axy_3_c(const bench_j1axy_3_c& obj);
        bench_j1axy_3_c& operator=(const bench_j1axy_3_c& obj);


//-----------------------------------------------------------------------------
// Debugging Support:
//-----------------------------------------------------------------------------

#if     VER_DEBUG
        // Integrity check:
        public:
        str_t   check() const;

        // Magic number (identifies objects of this class for debugging).
        private:
        long    Magic;          // Must be "BENCH_J1AXY_3_MAGIC".
#endif


#if     VER_DUMP
        public:
        // Display data structure:
        void dump(str_t headline = STR_NULL) const;
#endif

//-----------------------------------------------------------------------------
// Private Object Members:
//-----------------------------------------------------------------------------

        private:

//-----------------------------------------------------------------------------
// Data storage for EDB relations:
//-----------------------------------------------------------------------------

        rel_n_n_c c2_bf;
        list_2_c c3_ff;
        rel_n_n_c c4_bf;
        list_2_c d1_ff;
        rel_n_n_c d2_bf;

//-----------------------------------------------------------------------------
// Relation for storing derived b1 tuples (for rule with two IDB lit):
//-----------------------------------------------------------------------------

        rel_n_n_c b1_fb;
                // Note that columns 1 and 2 are exchanged,
                // because c1 is always input to the mapping, and c2 output.

//-----------------------------------------------------------------------------
// Sets for duplicate checks:
//-----------------------------------------------------------------------------

        set_tt_c b1_bb;
        set_tt_c b2_bb;
        set_tt_c c1_bb;
        set_tt_c a_bb;

//-----------------------------------------------------------------------------
// Cursors for loops over relations:
//-----------------------------------------------------------------------------

        cur_2_c c4_1_ff;
        cur_n_n_c c4_2_bf;
        cur_n_n_c c3_2_bf;
        cur_2_c c5_1_ff;
        cur_n_n_c c5_2_bf;
        cur_n_n_c c2_1_fb;


//-----------------------------------------------------------------------------
// Stack declarations:
//-----------------------------------------------------------------------------

        stack_c<int> backtrack_stack;

//-----------------------------------------------------------------------------
// Variable declarations:
//-----------------------------------------------------------------------------

        int v_2_1;
        int v_3_2;
        int v_4_1;
        int v_4_2;
        int v_5_1;
        int v_5_2;

//-----------------------------------------------------------------------------
// Did an error occur?
//-----------------------------------------------------------------------------

        bool Error;

//=============================================================================
// End of Class:
//=============================================================================

};


//=============================================================================
// End of Conditional Compilation of this Test (VER_BENCH_J1AXY_3):
//=============================================================================

#endif


//=============================================================================
// End of Include File:
//=============================================================================

#endif