Package net.sf.farrago.query

Implements Farrago query processing.

Revision | $Id: //open/dev/farrago/src/net/sf/farrago/query/package.html#18 $
Copyright | Copyright (C) 2005-2009 The Eigenbase Project Copyright (C) 2005-2009 SQLstream, Inc. Copyright (C) 2005-2009 LucidEra, Inc.
Author | John V. Sichi

## Farrago Query Processing

This document provides an overview of how Farrago produces a JDBC ResultSet corresponding to the text of a SELECT statement. This should provide some appreciation for the term SQL engine, as well as a grasp of the most important interfaces and components in the system.

We'll use a simple, innocent-looking statement as an example:

    select *,42 as the_answer
    from sales.depts as d
    where deptno = 10

### Parsing

Our story begins when the prepareStatement method of {@link net.sf.farrago.jdbc.engine.FarragoJdbcEngineConnection} processes an SQL string by creating a new instance of {@link net.sf.farrago.parser.FarragoParser} and asking it to parse the statement. This is accomplished via an extension of {@link org.eigenbase.sql.parser.SqlParser}, and the result (assuming no syntax error is thrown) is a tree of {@link org.eigenbase.sql.SqlNode} objects:

### Query Implementation Cache Lookup

FarragoJdbcEngineConnection delegates the rest of the preparation to the prepareStmt method of {@link net.sf.farrago.db.FarragoDatabase}, which manages a shared cache of query plan implementations. For this discussion, we'll assume nothing is cached initially, so FarragoDatabase creates a new instance of {@link net.sf.farrago.query.FarragoPreparingStmt} to oversee the preparation process, and calls its validate() and implement() methods.

TODO: details on caching

### Validation

After parsing, the parse tree must be validated. prepareSql in {@link org.eigenbase.oj.stmt.OJPreparingStmt} is called, this time taking the root SqlNode and an instance of {@link org.eigenbase.sql.validate.SqlValidator} (we supply a {@link net.sf.farrago.query.FarragoSqlValidator}). SqlValidator walks the parse tree performing validation tasks such as type inference, resolving identifiers, and expanding '*' in select lists; this results in a transformation of the parse tree (or a thrown exception if validation fails):

In addition, notice that the validator has augmented the parse tree with a scope tree (in this case a simple two-level linear tree since there are no joins). The top-level scope represents the columns produced by the SELECT list; the bottom scope represents the columns to be read from table SALES.DEPT. Note that each SqlIdentifier node in the validated tree is either

- a table reference (e.g. SALES.DEPT)
- a reference to a column produced by a lower-level scope (e.g. D.DEPTNO)
- a new column being produced at this scope (e.g. THE_ANSWER)

In the presence of subqueries, there are other possibilities such as a reference to a column produced by an enclosing scope.

### Translation to Relational Algebra

The next step is to convert the validated SQL parse tree into a relational algebra expression. The dirty work is all performed by {@link org.eigenbase.sql2rel.SqlToRelConverter}, relying on the validator's scope and type information. The result is again a tree, but this time of instances of {@link org.eigenbase.rel.RelNode}. The target set of relational expressions is constrained to the following abstract operators:

- {@link org.eigenbase.rel.TableAccessRel}
- {@link org.eigenbase.rel.TableModificationRel}
- {@link org.eigenbase.rel.ProjectRel}
- {@link org.eigenbase.rel.FilterRel}
- {@link org.eigenbase.rel.JoinRel}
- {@link org.eigenbase.rel.CorrelatorRel}
- {@link org.eigenbase.rel.AggregateRel}
- {@link org.eigenbase.rel.UnionRel}
- {@link org.eigenbase.rel.IntersectRel}
- {@link org.eigenbase.rel.MinusRel}
- {@link org.eigenbase.rel.ValuesRel}

The `EXPLAIN PLAN` statement can be used to see the translated tree for our example:

    explain plan without implementation for
    select *,42 as the_answer
    from sales.depts as d
    where deptno = 10

This yields:

    ProjectRel(DEPTNO=[$0], NAME=[$1], THE_ANSWER=[42])
      FilterRel(condition=[=($0,10)])
        TableAccessRel(table=[SALES.DEPTS])

Here's a graphical representation:

The three-dimensional boxes are relational algebra nodes (instances of RelNode); the two-dimensional boxes are validated row expressions represented by the {@link org.eigenbase.rex.RexNode} object model. Besides children and row expressions, relational expressions may have additional attributes; e.g. ProjectRel has an array of names to be assigned to the columns it produces, and TableAccessRel has a reference to the table to be scanned. Within a row expression, a {@link org.eigenbase.rex.RexInputRef} may refer to the output of a child relational expression via variables with names like `$N` (hence the `$0` in the ProjectRel's expression refers to something different from the `$0` in the FilterRel's condition expression, since the expression is relative to the containing RelNode).

### Optimization

Query optimization transforms the abstract relational algebra expression described above into an equivalent expression consisting only of operators for which physical implementations are available. For an overview of the process, see {@link org.eigenbase.relopt.volcano the Volcano optimizer docs}. To tailor the optimization process for our requirements, {@link net.sf.farrago.defimpl.FarragoDefaultPlanner} subclasses {@link org.eigenbase.relopt.volcano.VolcanoPlanner} to define Farrago-specific rules, relational expressions, and calling conventions.

Farrago constrains the optimizer to the following calling conventions:

- FENNEL_PULL: data processing implemented by Fennel TupleStreams (TODO: link)
- ITERATOR: data processing implemented in Java by classes which implement the Iterator streaming interface
- RESULT_SET: data returned via JDBC result sets from foreign databases

To see the output of the optimizer, we can use `EXPLAIN PLAN` again:

    explain plan for
    select *,42 as the_answer
    from sales.depts as d
    where deptno = 10

(This time `WITHOUT IMPLEMENTATION` was left out, and the default is WITH IMPLEMENTATION, which is what we want.) This yields:

    IterCalcRel(DEPTNO=[$0], NAME=[$1], THE_ANSWER=[42])
      FennelToIteratorConverter
        FtrsIndexSearchRel(table=[SALES.DEPTS], projection=[*], index=[SYS$CONSTRAINT_INDEX$DEPTS$SYS$PRIMARY_KEY], uniqueKey=[true], preserveOrder=[false],outer=[false],inputKeyProj=[*],inputJoinProj=[[]])
          IteratorToFennelConverter
            IterCalcRel($f0=[CAST(10)])
              IterOneRowRel

which corresponds to the following relational expression tree:

Wow, what happened? The optimizer found that the table's clustered index could satisfy the WHERE clause, and accordingly transformed the query using a {@link net.sf.farrago.namespace.ftrs.FtrsIndexSearchRel} for the table access. (It knew how to do this because FarragoDefaultPlanner told it about {@link net.sf.farrago.namespace.ftrs.FtrsScanToSearchRule}.) What's interesting is that this search is sandwiched between Java iterators. The lowest level ({@link org.eigenbase.oj.rel.IterOneRowRel}) produces a single row with no columns; the next level up ({@link org.eigenbase.oj.rel.IterCalcRel}) produces the constant DEPTNO value (10) which we're searching for. (This can remain anonymous as `$f0` since Fennel accesses data by tuple position, not name.) Now, the optimizer wants to feed this into the Fennel search as the input key, but the search has FENNEL_PULL calling convention, while IterCalcRel has ITERATOR calling convention. So, a {@link org.eigenbase.rel.convert.ConverterRel} is required; in this case, {@link net.sf.farrago.query.IteratorToFennelConverter}.

But wait, there's more! The FtrsIndexSearchRel is going to produce matching rows in FENNEL_PULL representation, but in order to compute the select list and return results via JDBC, we need another converter: {@link net.sf.farrago.query.FennelToIteratorConverter}. The top-level IterCalcRel then implements the original abstract ProjectRel.

### Physical Implementation

Once the optimizer has decided on the best implementation, it's time to generate corresponding executable code. This is the job of {@link org.eigenbase.oj.rel.JavaRelImplementor}, which walks the optimized RelNode tree calling implement on each expression, producing the parse tree representation of a Java class. From this, the query processor generates the Java class definition as text, saves it to a file, and then invokes the Java compiler and loads the resulting classfile. Here's the Java class generated for our example:

    package net.sf.farrago.dynamic.stmt39449;

    public class ExecutableStmt
    {
        public static class Ojp_0 extends net.sf.farrago.type.runtime.FarragoSyntheticObject
        {
            public Ojp_0()
            {
            }
        }

        public static class Ojp_1 extends net.sf.farrago.type.runtime.FarragoSyntheticObject
        {
            public int $f0;

            public Ojp_1()
            {
            }

            public Ojp_1( int $f0 )
            {
                this.$f0 = $f0;
            }
        }

        public static class Oj_VARCHAR_128_ISO_8859_1 extends net.sf.farrago.type.runtime.EncodedCharPointer
        {
            protected java.lang.String getCharsetName()
            {
                return "ISO-8859-1";
            }
        }

        public static class Ojp_2 extends net.sf.farrago.type.runtime.FarragoSyntheticObject
        {
            public int DEPTNO;

            public net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Oj_VARCHAR_128_ISO_8859_1 NAME;

            public Ojp_2()
            {
            }

            public Ojp_2( int DEPTNO, net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Oj_VARCHAR_128_ISO_8859_1 NAME )
            {
                this.DEPTNO = DEPTNO;
                this.NAME = NAME;
            }
        }

        public static class Ojp_3 extends net.sf.farrago.type.runtime.FarragoSyntheticObject
        {
            public int DEPTNO;

            public net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Oj_VARCHAR_128_ISO_8859_1 NAME;

            public long THE_ANSWER;

            public Ojp_3()
            {
            }

            public Ojp_3( int DEPTNO, net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Oj_VARCHAR_128_ISO_8859_1 NAME, long THE_ANSWER )
            {
                this.DEPTNO = DEPTNO;
                this.NAME = NAME;
                this.THE_ANSWER = THE_ANSWER;
            }

        }

        public static java.lang.Object execute( net.sf.farrago.runtime.FarragoRuntimeContext connection_p )
            throws java.sql.SQLException
        {
            final net.sf.farrago.runtime.FarragoRuntimeContext connection = connection_p;
            return new org.eigenbase.runtime.CalcIterator( connection.newFennelIterator( new net.sf.farrago.runtime.FennelTupleReader(){

                private net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_2 oj_var3 = new net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_2();

                public java.lang.Object unmarshalTuple( java.nio.ByteBuffer byteBuffer, byte[] byteArray, java.nio.ByteBuffer sliceBuffer )
                {
                    int oj_var4 = byteBuffer.position();
                    oj_var3.DEPTNO = sliceBuffer.getInt( 0 );
                    int oj_var5 = oj_var4 + sliceBuffer.getShort( 4 );
                    oj_var3.NAME.setPointer( byteArray, 6 + oj_var4, oj_var5 );
                    sliceBuffer.position( oj_var5 - oj_var4 );
                    return oj_var3;
                }
            }, "FtrsIndexSearchRel#74:315", connection.newJavaTupleStream( 96, new net.sf.farrago.runtime.FennelTupleWriter(){

                protected void marshalTupleOrThrow( java.nio.ByteBuffer sliceBuffer, java.lang.Object object )
                {
                    net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_1 oj_var2 = (net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_1) object;
                    sliceBuffer.putInt( 0, oj_var2.$f0 );
                    sliceBuffer.position( 4 );
                }
            }, new org.eigenbase.runtime.CalcIterator( java.util.Collections.singletonList( new net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_0() ).iterator() ){

                private net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_1 oj_var1 = new net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_1();

                protected java.lang.Object calcNext()
                {
                    while (inputIterator.hasNext()) {
                        net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_0 oj_var0 = (net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_0) inputIterator.next();
                        oj_var1.$f0 = (int) (int) 10;
                        return oj_var1;
                    }
                    return null;
                }
            } ) ) ){

                private net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_3 oj_var7 = new net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_3();

                protected java.lang.Object calcNext()
                {
                    while (inputIterator.hasNext()) {
                        net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_2 oj_var6 = (net.sf.farrago.dynamic.stmt39449.ExecutableStmt$Ojp_2) inputIterator.next();
                        oj_var7.DEPTNO = (int) oj_var6.DEPTNO;
                        oj_var7.NAME.assignFrom( oj_var6.NAME );
                        oj_var7.THE_ANSWER = (long) 42;
                        return oj_var7;
                    }
                    return null;
                }
            };
        }
    }

Yeesh, that's ugly! How can we interpret this jumble in the context of the implementation plan?

- The static inner classes represent the runtime types of the output rows and columns for each relational expression. For example, Ojp_2 has fields DEPTNO and NAME, and represents the results of searching the table. Oj_VARCHAR_128_ISO_8859_1 is the non-primitive type for the NAME column, embodying additional type information such as its precision and character set.
- Method execute() is the top-level Iterator producing the result set. Its body is, well, a true farrago of anonymous inner classes. The details are beyond the scope of this document, but we'll cover a few of the more important points.
- The execute() method gets passed an instance of FarragoRuntimeContext, which it uses for services such as communicating with Fennel.
- The first calcNext() method corresponds to the lowest-level IterCalcRel. It computes the constant DEPTNO search key (10). Note that the call to java.util.Collections.singletonList came from IterOneRowRel.
- The second calcNext() method corresponds to the top-level IterCalcRel. It passes through DEPTNO and NAME and tacks on THE_ANSWER (42).
- The unmarshalTuple() method contains code generated to read data from the Fennel TupleStream using java.nio.
- The Fennel portion of the plan is referenced via the string `FtrsIndexSearchRel#74:315`. This is the generated name of a stream within the Fennel plan. On execution, this stream name will be used to obtain a handle to a C++ execution object from the graph of Fennel TupleStreams. More on this below.
- In the other direction, the `newJavaTupleStream` call creates a Java execution object which will be called directly from C++ code. The generated identifier argument `96` is referenced from the Fennel plan.

### Fennel Implementation

Let's look more deeply into the Fennel portion of the plan. When RelImplementor reaches a FennelToIteratorConverter in its traversal of the optimized tree, the corresponding implement method performs a sub-traversal of the connected subtree of nodes implementing the {@link net.sf.farrago.query.FennelRel} interface. Rather than generating Java code, these nodes generate (via the FennelRel.toTupleStreamDef method) a tree of {@link net.sf.farrago.fem.fennel.FemTupleStreamDef} instances specifying the Fennel portion of the plan. This tree is later saved as an XMI string from which the plan can be reconstructed at any time. Here's the XML for our example:

    <XMI xmi.version = '1.2' xmlns:CWM = 'org.omg.xmi.namespace.CWM' xmlns:FEM = 'org.omg.xmi.namespace.FEM'
      xmlns:CWMRDB = 'org.omg.xmi.namespace.CWMRDB' xmlns:FEMFennel = 'org.omg.xmi.namespace.FEMFennel'
      xmlns:FEMConfig = 'org.omg.xmi.namespace.FEMConfig' timestamp = 'Tue May 11 11:01:22 PDT 2004'>
      <XMI.header>
        <XMI.documentation>
          <XMI.exporter>Netbeans XMI Writer</XMI.exporter>
          <XMI.exporterVersion>1.0</XMI.exporterVersion>
        </XMI.documentation>
      </XMI.header>
      <XMI.content>
        <FEMFennel:CmdPrepareExecutionStreamGraph xmi.id = 'a1'>
          <FEMFennel:CmdPrepareExecutionStreamGraph.streamDefs>
            <FEMFennel:IndexSearchDef xmi.id = 'a2' name = 'FtrsIndexSearchRel#74:315'
              cachePageQuota = '2' cachePageMin = '2' cachePageMax = '2' rootPageId = '3'
              segmentId = '1' indexId = '2709' uniqueKey = 'true' outerJoin = 'false'>
              <FEMFennel:KeyAccessorDef.keyProj>
                <FEMFennel:TupleProjection xmi.id = 'a3'>
                  <FEMFennel:TupleProjection.AttrProjection>
                    <FEMFennel:TupleAttrProjection xmi.id = 'a4' attributeIndex = '0'/>
                  </FEMFennel:TupleProjection.AttrProjection>
                </FEMFennel:TupleProjection>
              </FEMFennel:KeyAccessorDef.keyProj>
              <FEMFennel:IndexAccessorDef.tupleDesc>
                <FEMFennel:TupleDescriptor xmi.id = 'a5'>
                  <FEMFennel:TupleDescriptor.AttrDescriptor>
                    <FEMFennel:TupleAttrDescriptor xmi.id = 'a6' typeOrdinal = '5' isNullable = 'false'
                      byteLength = '0'/>
                    <FEMFennel:TupleAttrDescriptor xmi.id = 'a7' typeOrdinal = '13' isNullable = 'false'
                      byteLength = '128'/>
                  </FEMFennel:TupleDescriptor.AttrDescriptor>
                </FEMFennel:TupleDescriptor>
              </FEMFennel:IndexAccessorDef.tupleDesc>
              <FEMFennel:IndexScanDef.outputProj>
                <FEMFennel:TupleProjection xmi.id = 'a8'>
                  <FEMFennel:TupleProjection.AttrProjection>
                    <FEMFennel:TupleAttrProjection xmi.id = 'a9' attributeIndex = '0'/>
                    <FEMFennel:TupleAttrProjection xmi.id = 'a10' attributeIndex = '1'/>
                  </FEMFennel:TupleProjection.AttrProjection>
                </FEMFennel:TupleProjection>
              </FEMFennel:IndexScanDef.outputProj>
              <FEMFennel:ExecutionStreamDef.Input>
                <FEMFennel:JavaTupleStreamDef xmi.idref = 'a11'/>
              </FEMFennel:ExecutionStreamDef.Input>
            </FEMFennel:IndexSearchDef>
            <FEMFennel:JavaTupleStreamDef xmi.id = 'a11' name = 'IteratorToFennelConverter#96:324'
              cachePageQuota = '1' cachePageMin = '1' cachePageMax = '1' streamId = '96'>
              <FEMFennel:JavaTupleStreamDef.tupleDesc>
                <FEMFennel:TupleDescriptor xmi.id = 'a12'>
                  <FEMFennel:TupleDescriptor.AttrDescriptor>
                    <FEMFennel:TupleAttrDescriptor xmi.id = 'a13' typeOrdinal = '5' isNullable = 'false'
                      byteLength = '0'/>
                  </FEMFennel:TupleDescriptor.AttrDescriptor>
                </FEMFennel:TupleDescriptor>
              </FEMFennel:JavaTupleStreamDef.tupleDesc>
              <FEMFennel:ExecutionStreamDef.Consumer>
                <FEMFennel:IndexSearchDef xmi.idref = 'a2'/>
              </FEMFennel:ExecutionStreamDef.Consumer>
            </FEMFennel:JavaTupleStreamDef>
          </FEMFennel:CmdPrepareExecutionStreamGraph.streamDefs>
          <FEMFennel:TupleStreamGraphCmd.StreamGraphHandle>
            <FEMFennel:StreamGraphHandle xmi.idref = 'a14'/>
          </FEMFennel:TupleStreamGraphCmd.StreamGraphHandle>
        </FEMFennel:CmdPrepareExecutionStreamGraph>
        <FEMFennel:StreamGraphHandle xmi.id = 'a14' longHandle = '137731624'/>
      </XMI.content>
    </XMI>

(The easiest way to obtain this XML is to set net.sf.farrago.fennel.level=FINE in FarragoTrace.properties and then dig through FarragoTrace.log after executing an SQL statement. Search for "CmdPrepareExecutionStreamGraph". For more information on the Java representation of Fennel TupleStreams, see the JNI design doc.)

The root of the TupleStream tree above is the FEMFennel:IndexSearchDef node (whose name attribute corresponds to the stream name referenced in the generated Java code above). The leaf is the FEMFennel:JavaTupleStreamDef node, which tells Fennel how to get the search key from the lower-level Java iterators. (TBD: more about this and {@link net.sf.farrago.query.IteratorToFennelConverter}).

### Execution

Whew. Now we actually want to execute the generated code. This part is easy. We use reflection to invoke the generated execute() method, which returns an Iterator instance, and pass that to a new instance of {@link net.sf.farrago.runtime.FarragoTupleIterResultSet}, which produces JDBC result data and metadata, as well as taking care of cleanup when the result set is closed.

#### Try This at Home

You can see the Fennel portion of the data processing by setting net.sf.fennel.xo.level=FINE in FarragoTrace.properties, executing an SQL statement, and then perusing FarragoTrace.log. Warning: The output can be huge for non-trivial queries. Here's the output for our example:

    May 11, 2004 11:08:27 AM net.sf.farrago.db.FarragoDbSession prepare
    INFO: select *,42 as the_answer from sales.depts d where deptno=10
    May 11, 2004 11:08:32 AM net.sf.farrago.db.FarragoDbStmtContext traceExecute
    FINE: select *,42 as the_answer from sales.depts d where deptno=10
    May 11, 2004 11:08:33 AM net.sf.fennel.xo.IteratorToFennelConverter#96:324 <native>
    FINE: [ 10 ]
    May 11, 2004 11:08:33 AM net.sf.fennel.xo.FtrsIndexSearchRel#74:315 <native>
    FINE: [ 10, 'Sales' ]

The entry for IteratorToFennelConverter is the search key read from Java, and the entry for FtrsIndexSearchRel is the result of the search which is returned to Java.

### Palliatives

If you have read through this entire doc, you are probably wondering how such a heavyweight procedure is ever going to provide decent performance in the context of the kind of rapid-fire statement execution used in transactional applications. Here are some planned improvements:

- When the optimizer estimates that query execution will be very brief, we won't bother compiling the generated Java code. Instead, we'll interpret it using Janino. (For now, we always use Janino.)
- Efficiency of generated Java code will continue improving as the code generator is overhauled for full SQL expression evaluation. The current implementation is just "proof of concept" quality.
- To improve performance of one-shot queries, the Fennel plan could be left in object format and passed to Fennel directly rather than having to export it as XMI and later import it on execution. For re-executed statements, we already keep a cache of reusable Fennel TupleStream trees rather than reconstructing one at the start of each execution.
- Wherever Java overhead turns out to be too high (perhaps for example, generating the search key for use by Fennel in the example query), Fennel will be enhanced to do the job instead (e.g. by allowing constant tuple data to be represented directly in the stream definition). A project is already in progress to implement all builtin SQL expressions via C++ (the Fennel calculator component). However, the need to call extensions written in Java or other languages will always be present, which is why we started with the most general case first.
- Applications using prepared SQL statements or stored procedures will pay the query preparation cost only once during query preparation; repeated executions will invoke the generated Java class directly.
- For less sophisticated applications, we'll implement transparent query implementation caching with pattern matching for not-quite-identical queries (e.g. different only by the literal values used in an INSERT). Query plan caching for identical queries is already implemented by FarragoDatabase (after some match-improving normalization such as fully qualifying identifiers is performed by validation).

TODO: overview of datatype issues.